On the validity of the Bell-La Padula model

The Logic of Scientific Discovery.

M. G. Kendall, Karl R. Popper · Biometrika · 1959 · 2.9K citations

Humanities, Philosophy, Contemporary Philosophy +13

The protection of information in computer systems

Jerome H. Saltzer, Michael Schroeder · Proceedings of the IEEE · 1975 · 1.9K citations

Computing, Computer Science, Computer Systems +17

Protection of information in computer systems

Jerome H. Saltier, Michael P. Schroeder · IEEE CSIT Newsletter · 1975 · 1.4K citations

Computing, Computer Science, Computer Systems +17

A note on the confinement problem

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

Computing, Computer Science, Programming Languages +2

Integrity Considerations for Secure Computer Systems

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

Computing, Computer Science, Computer Systems +13