Analysis of dynamic policies

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +17

A Comparison of Commercial and Military Computer Security Policies

David D. Clark, David R. Wilson · 1987 · 1.1K citations

Computing, Computer Science, Information Technology +17

The Chinese Wall security policy

David Brewer, Mike Nash · 2003 · 887 citations

Computing, Finance, Computer Security +10