Specification and verification of the UCLA Unix security kernel
- 1 February 1980
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 23 (2) , 118-131
- https://doi.org/10.1145/358818.358825
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A model for verification of data security in operating systemsCommunications of the ACM, 1978
- UNIX Time-Sharing System: The C Programming LanguageBell System Technical Journal, 1978
- Abstraction and verification in AlphardCommunications of the ACM, 1977
- Proof techniques for hierarchically structured programsCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- A note on the confinement problemCommunications of the ACM, 1973
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- A technique for software module specification with examplesCommunications of the ACM, 1972
- The programming language pascalActa Informatica, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969