@article{oai:kutarr.kochi-tech.ac.jp:00000126,
 author = {KUNINOBU, Shigeta and TAKATA, Yoshiaki and NITTA, Naoya and SEKI, Hiroyuki},
 issue = {7},
 journal = {IEICE Transactions on Information and Systems},
 month = {Jul},
 note = {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.},
 pages = {1685--1696},
 title = {Policy Controlled System and Its Model Checking},
 volume = {E88-D},
 year = {2005}
}