Publication | Closed Access
Extending the Noninterference Version of MLS for SAT
115
Citations
1
References
1987
Year
EngineeringInformation SecurityVerificationFormal VerificationSecure Ada® TargetHardware SecuritySecurity ModellingSat SolvingAccess ControlSystems EngineeringSatisfiabilityComputer EngineeringData PrivacyAbstract ModelComputer ScienceSat Abstract ModelData SecurityCryptographyAutomated ReasoningPropositional LogicFormal MethodsSecuritySecurity MeasurementNoninterference VersionComputer Security ModelModel-driven Security
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1