Consistency analysis and flow secure enforcement of SELinux policies

Proceedings of the 11th USENIX Security Symposium

Dan Boneh · 2002 · 2.5K citations

Computing, Computer Science, Cybersecurity +12

A lattice model of secure information flow

Dorothy E. Denning · Communications of the ACM · 1976 · 1.9K citations · Full text

Computing, Computer Science, Computer Systems +15

USENIX Security Symposium

IEEE Security & Privacy · 2004 · 1.5K citations

Computing, Computer Science, Computer Systems +15

Integrity Considerations for Secure Computer Systems

K. J. Biba · Defense Technical Information Center (DTIC) · 1977 · 1.2K citations

Computing, Computer Science, Computer Systems +13

Secure Computer Systems: Mathematical Foundations

David E. Bell, Leonard J. LaPadula · Defense Technical Information Center (DTIC) · 1973 · 1K citations

Computing, Computer Science, Computer Systems +14