Extending the Noninterference Version of MLS for SAT

1 February 1987

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-13 (2) , 141-150
https://doi.org/10.1109/tse.1987.226478

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

MULTILEVEL SYSTEMS
POWER SYSTEM MODELING
PIPELINES
CERTIFICATION
POWER SYSTEM SECURITY
ACCESS CONTROL
SIGNAL ANALYSIS
COMPUTER APPLICATIONS
TRADEMARKS
PROTECTION

This publication has 0 references indexed in Scilit: