Extending the enforcement power of truncation monitors using static analysis

Depth-First Search and Linear Graph Algorithms

Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations

Computing, Computer Science, Algorithms +16

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Engineering, Computer Science, Systems Engineering +15

Enforceable security policies

Fred B. Schneider · ACM Transactions on Information and System Security · 2000 · 1.3K citations · Full text

Computing, Computer Science, Cybersecurity +14

The software model checker Blast

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala et al. · International Journal on Software Tools for Technology Transfer · 2007 · 594 citations

Computing, Computer Engineering, Computer Science +10

Edit automata: enforcement mechanisms for run-time security policies

Jay Ligatti, Lujo Bauer, David Walker · International Journal of Information Security · 2004 · 394 citations

Computing, Computer Science, Cybersecurity +14