Reading Down and Writing Up
- Users at lower security level are denied access to objects at a higher security level
Bell-LaPadula
- “No read up”; a subject at a specific clearance level cannot read an object at a higher classification level
Simple Security Property
- “No write down”; a subject at a higher clearance level cannot write to a lower classification level.
*(star) Security Property
- States that the system uses an access matrix to enforce access control
Discretionary Security Property
- Security labels will not change while the system is operating
Strong Tranquility Property
- Security labels will not change in a way that conflicts with defined security properties
Weak Tranquility Property
Lattice-based access control
The the nearest security label or classification higher than their lattice position
Least upper bound
The the nearest security label or classification lower than their lattice position
Highest lower bound
State Machine Model
Security model designed to prevent unauthorized , insecure or restricted information flow, between different levels of security
Information Flow Model
Security model that prevents actions from a subject at a higher security level to not affect actions at a lower security level or even be noticed
Noninterference Model
Security model that deploys a graph that dictates how rights can be passed from one subject to another or from a subject to an object
Take-Grant Model
Biba Model
Simple Integrity Axiom
“No write up”; a subject at a specific clearance level cannot write data to a higher classification
*Integrity Axiom
Clark-Wilson
Any data item whose integrity is protected by the Clark-Wilson security model
Constrained data item (CDI)
Any data item that is not controlled by the Clark-Wilson security model
Unconstrained data item (UDI)
- Clark-Wilson procedure
Integrity Verification Procedure (IVP)
- Clark-Wilson procedure
Transformation procedures (TPs)
Restricted Interface model
Brewer and Nash (aka Chinese Wall)