The JavaSeal Mobile Agent Kernel

A lattice model of secure information flow

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

Engineering, Information Security, Software Analysis +19

A note on the confinement problem

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

Computational Complexity Theory, Engineering, Information Security +18

JFlow

Andrew C. Myers · 1999 · 1K citations · Full text

Engineering, Information Security, Verification +18

A sound type system for secure flow analysis

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

Engineering, Information Security, Security Evaluation +20

Extensibility safety and performance in the SPIN operating system

Brian N. Bershad, Stefan Savage, Przemysław Pardyak et al. · 1995 · 949 citations

Engineering, Software Systems, Computer Architecture +22