Title :
Extending The Non-Interference Version Of MLS For Sat
Author :
Haigh, J.Thomas ; Young, William D.
Author_Institution :
Honeywell´s Secure Computing and Technology Center
Abstract :
A non-interference formulation ofMLS applicable to the Secure Ada Target (SAT) Abstract Model is developed. An analogous formulation is developed to handle the SAT type enforcement policy. Unwinding theorems are presented for both MLS and Multi-Domain Security (MDS) and the SAT Abstract Model is shown to satisfy both MLS and MDS. Generalizations and extensions are also considered.
Keywords :
Abstracts; Access control; Computational modeling; Interference; Pipelines; Printers;
Conference_Titel :
Security and Privacy, 1986 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0716-5
DOI :
10.1109/SP.1986.10004
