Security Kernel validation in practice
- 1 May 1976
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 19 (5), 243-250
- https://doi.org/10.1145/360051.360059
Abstract
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.Keywords
This publication has 3 references indexed in Scilit:
- On attaining reliable software for a secure operating systemPublished by Association for Computing Machinery (ACM) ,1975
- A note on the confinement problemCommunications of the ACM, 1973
- A technique for software module specification with examplesCommunications of the ACM, 1972