* Reading*:

- Greetings and felicitations!
- BLP: formally
- Basic Security Theorem: A system Σ(
*R*,*D*,*W*,*z*_{0}) is secure iff*z*_{0}is a secure state and*W*satisfies the conditions of the above three theorems for each action.

- Basic Security Theorem: A system Σ(
- BLP: formally
- Define ssc-preserving, *-property-preserving, ds-property-preserving
- Define relation
*W*(ω) - Show conditions under which rules are ssc-preserving, *-property-preserving, ds-property-preserving
- Show when adding a state preserves those properties
- Example instantiation:
*get-read*for Multics

- Tranquility
- Strong tranquility
- Weak tranquility

- System Z and the controversy

Version of April 17, 2006 at 12:30 PM

You can also obtain a PDF version of this.