ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 学術雑誌論文

Policy Controlled System and Its Model Checking

http://hdl.handle.net/10173/674
http://hdl.handle.net/10173/674
d6bc111b-7bcd-426a-95a0-4b2383edb104
名前 / ファイル ライセンス アクション
IEICE_E88-D_7_1685.pdf IEICE_E88-D_7_1685.pdf (1.4 MB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2011-06-23
タイトル
タイトル Policy Controlled System and Its Model Checking
言語
言語 eng
キーワード
主題Scheme Other
主題 policy control
キーワード
主題Scheme Other
主題 policy controlled system
キーワード
主題Scheme Other
主題 verification
キーワード
主題Scheme Other
主題 model checking
キーワード
主題Scheme Other
主題 pushdown system
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ journal article
著者 KUNINOBU, Shigeta

× KUNINOBU, Shigeta

KUNINOBU, Shigeta

Search repository
TAKATA, Yoshiaki

× TAKATA, Yoshiaki

TAKATA, Yoshiaki

Search repository
NITTA, Naoya

× NITTA, Naoya

NITTA, Naoya

Search repository
SEKI, Hiroyuki

× SEKI, Hiroyuki

SEKI, Hiroyuki

Search repository
抄録
内容記述タイプ Abstract
内容記述 A policy is an execution rule (or constraint) for objects in a system to retain security and integrity of the system. We introduce a simple policy specification language and define its operational semantics. A new NFA construction algorithm that works in linear time is proposed and a model checking method for policy controlled system (PCS) is presented. We conducted verification of a sample PCS for hotel reservation by our automatic verification tool and the experimental results showed the efficiency of the proposed method.
書誌情報 IEICE Transactions on Information and Systems

巻 E88-D, 号 7, p. 1685-1696, 発行日 2005-07-01
ISSN
収録物識別子タイプ ISSN
収録物識別子 0916-8532
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA10826272
DOI
関連タイプ isIdenticalTo
識別子タイプ DOI
関連識別子 10.1093/ietisy/e88-d.7.1685
権利
権利情報 Copyright © 2005 The Institute of Electronics, Information and Communication Engineers
著者版フラグ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
出版者
出版者 The Institute of Electronics, Information and Communication Engineers
関係URI
識別子タイプ URI
関連識別子 http://search.ieice.org/
関連名称 http://search.ieice.org/
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 13:44:03.115980
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3