WEKO3
アイテム
Policy Controlled System and Its Model Checking
http://hdl.handle.net/10173/674
http://hdl.handle.net/10173/674d6bc111b-7bcd-426a-95a0-4b2383edb104
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
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× TAKATA, Yoshiaki× NITTA, Naoya× SEKI, Hiroyuki |
|||||
| 抄録 | ||||||
| 内容記述タイプ | 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/ | |||||
