The Best Available Technologies for Computer Security
- 1 July 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 16 (7) , 86-100
- https://doi.org/10.1109/mc.1983.1654445
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A Multilevel Secure Local Area NetworkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Formal Models for Computer SecurityACM Computing Surveys, 1981
- Verifying SecurityACM Computing Surveys, 1981
- Penetrating an operating system: a study of VM/370 integrityIBM Systems Journal, 1976