Outline for February 6, 2012
Reading: §5.2.3, 5.3, 5.4
- Using the model
- 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
A PDF version is available here.
|
ECS 235B, Foundations of Computer and Information Security
Winter Quarter 2012
|