Analysis of dynamic policies

  title={Analysis of dynamic policies},
  author={A. Prasad Sistla and Min Zhou},
  journal={Inf. Comput.},
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… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS