Publication | Open Access
Extending The Non-Interference Version Of MLS For Sat
35
Citations
0
References
1986
Year
Unknown Venue
Secure Ada TargetEngineeringInformation SecurityInterference CancellationFormal VerificationHardware SecuritySecurity ModellingSat SolvingAccess ControlSystems EngineeringSatisfiabilityNon-interference VersionNon-interference Formulation OfmlsComputer EngineeringComputer ScienceSat Abstract ModelData SecurityCryptographyAutomated ReasoningFormal MethodsSecurity MeasurementComputer Security ModelModel-driven Security
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.