Title :
Example of a formal flow violation
Author :
Millen, Jonathan K.
Author_Institution :
The MITRE Corporation
Keywords :
Computer architecture; Control systems; Formal specifications; Information security; Kernel; Operating systems; Protection; Registers; Resource management; Switches;
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
DOI :
10.1109/CMPSAC.1978.810380
