For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Policy Controlled System and Its Model Checking
Shigeta KUNINOBU Yoshiaki TAKATA Naoya NITTA Hiroyuki SEKI
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/07/01
Print ISSN: 0916-8532
Type of Manuscript: PAPER
Category: Application Information Security
policy control, policy controlled system, verification, model checking, pushdown system,
Full Text: PDF(1.3MB)>>
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.