|
| 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
| ASCII Text | x | ||
| 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, February, 1987. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1987.226478, author = {J.T. Haigh and W.D. Young}, title = {Extending the Noninterference Version of MLS for SAT}, journal ={IEEE Transactions on Software Engineering}, volume = {13}, number = {2}, issn = {0098-5589}, year = {1987}, pages = {141-150}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.226478}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Extending the Noninterference Version of MLS for SAT IS - 2 SN - 0098-5589 SP141 EP150 EPD - 141-150 A1 - J.T. Haigh, A1 - W.D. Young, PY - 1987 KW - type enforcement KW - Access control KW - assured pipeline KW - covert channel analysis KW - multilevel security KW - noninterference KW - security policy model VL - 13 JA - IEEE Transactions on Software Engineering ER - | |||
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.