DocumentCode
2561497
Title
Formal Specification of a Multi-Level Secure Operating System
Author
Korelsky, Tanya ; Sutherland, David
Author_Institution
Odyssey Research Associates
fYear
1984
fDate
April 29 1984-May 2 1984
Firstpage
209
Lastpage
209
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1984 IEEE Symposium on
Conference_Location
Oakland, CA, USA
ISSN
1540-7993
Print_ISBN
0-8186-0532-4
Type
conf
DOI
10.1109/SP.1984.10016
Filename
6234800
Link To Document