Communications of the ACM · 1976 · 96 citations · 6 references
ComputingComputer ScienceComputer SystemsComputer SecurityFormal MethodsSecurity PolicyAccess ControlAssertion-based VerificationDeductive VerificationSecure System DesignSecurity ControlsSystem SecurityAccess Control Policy VerificationFormal Property SpecificationFormal Security VerificationFormal Verification Of Security PropertiesKernel SecurityKernel-level Security ControlsSecurity VerificationSpecification-based Security
A security kernel is a software and hardware mechanism that enforces access controls within a computer system. The correctness of a security kernel on a PDP-11/45 is being proved. This paper describes the technique used to carry out the first step of the proof: validating a formal specification of the program with respect to axioms for a secure system.
6
A note on the confinement problem
Butler Lampson · Communications of the ACM · 1973 · 1.4K citations · Full text
Computer Security Technology Planning Study
James P. Anderson · 1972 · 668 citations
On attaining reliable software for a secure operating system
Lawrence Baylor Robinson, Karl Levitt, Peter G. Neumann et al. · ACM SIGPLAN Notices · 1975 · 43 citations