DocumentCode
745892
Title
Extending the Noninterference Version of MLS for SAT
Author
Haigh, J. Thomas ; Young, William D.
Author_Institution
Honeywell Secure Computing and Technology Center
Issue
2
fYear
1987
Firstpage
141
Lastpage
150
Abstract
A noninterference formulation of MLS 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 Multidomain Security (MDS) and the SAT Abstract Model is shown to satisfy both MLS and MDS. Generalizations and extensions are also considered.
Keywords
Access control; assured pipeline; covert channel analysis; multilevel security; noninterference; security policy model; type enforcement; Access control; Certification; Computer applications; Multilevel systems; Pipelines; Power system modeling; Power system security; Protection; Signal analysis; Trademarks; Access control; assured pipeline; covert channel analysis; multilevel security; noninterference; security policy model; type enforcement;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1987.226478
Filename
1702195
Link To Document