DocumentCode
3382157
Title
Example of a formal flow violation
Author
Millen, Jonathan K.
Author_Institution
The MITRE Corporation
fYear
1978
fDate
1978
Firstpage
204
Lastpage
208
Keywords
Computer architecture; Control systems; Formal specifications; Information security; Kernel; Operating systems; Protection; Registers; Resource management; Switches;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
Type
conf
DOI
10.1109/CMPSAC.1978.810380
Filename
810380
Link To Document