This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Extending the Noninterference Version of MLS for SAT
February 1987 (vol. 13 no. 2)
pp. 141-150
J.T. Haigh, Honeywell Secure Computing and Technology Center
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.
Index Terms:
type enforcement, Access control, assured pipeline, covert channel analysis, multilevel security, noninterference, security policy model
Citation:
J.T. Haigh, W.D. Young, "Extending the Noninterference Version of MLS for SAT," IEEE Transactions on Software Engineering, vol. 13, no. 2, pp. 141-150, Feb. 1987, doi:10.1109/TSE.1987.226478
Usage of this product signifies your acceptance of the Terms of Use.