Article ID Journal Published Year Pages File Type
426598 Information and Computation 2008 28 Pages PDF
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