Title :
Formal Specification of a Multi-Level Secure Operating System
Author :
Korelsky, Tanya ; Sutherland, David
Author_Institution :
Odyssey Research Associates
fDate :
April 29 1984-May 2 1984
Abstract :
The experiences of Odyssey Research Associates (0RA) in formally specifying and verifying a multi-level secure operating system for the Military Computer Family are described. ORA´S approach to linking system requirements to system functionality is explained, and certain deficiencies in the tools currently available for formal specification and verification are discussed.
Keywords :
Computer languages; Formal specifications; Kernel; Monitoring; Security; Semantics;
Conference_Titel :
Security and Privacy, 1984 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0532-4
DOI :
10.1109/SP.1984.10016
