Specification and verification of the UCLA Unix security kernel
From MaRDI portal
Publication:3863057
DOI10.1145/358818.358825zbMath0427.68032OpenAlexW2014942166MaRDI QIDQ3863057
Gerald J. Popek, Bruce J. Walker, Richard A. Kemmerer
Publication date: 1980
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/358818.358825
Related Items
Formal memory models for the verification of low-level operating-system code, The programming language C and the operating system UNIX, Secure Microkernels, State Monads and Scalable Refinement, seL4 Enforces Integrity, Operating system verification---an overview