Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
426598 | Information and Computation | 2008 | 28 Pages |
Abstract
The paper considers the problem of modeling and analyzing dynamic policies in Trust Management Systems. It presents a general frame work and a specification language FCTL for specifying properties in such systems. Various important security properties such as simple safety, liveness, role containment can all be elegantly specified in this logic. It presents upper and lower bounds for checking classes of formulas specified in this logic for dynamic systems specified in the RT0 Role based Trust Management System.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics