| 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
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/ |
IEICE_E88-D_7_1685.pdf (1.4 MB)
