Abstract interpretation of operational semantics for secure information flow

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

A note on the confinement problem

Butler Lampson · Communications of the ACM · 1973 · 1.4K citations · Full text

Computing, Computer Science, Programming Languages +2

Certification of programs for secure information flow

Dorothy E. Denning, Peter J. Denning · Communications of the ACM · 1977 · 1K citations · Full text

Computing, Computer Engineering, Computer Science +8

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

A sound type system for secure flow analysis

Dennis Volpano, Cynthia Irvine, Geoffrey Smith · Journal of Computer Security · 1996 · 963 citations

Computing, Computer Engineering, Computer Science +11