This preview shows page 1. Sign up to view the full content.
Unformatted text preview: f C ( s ) f O ( o ). ( f S ( s ) f O ( o ) is also acceptable). Justify the *-property for BLP: If write-down were allowed then information would ow upwards, in the wrong direction, violating the security level direction in the Information ow model. Alternatively: write-down establishes covert channels, etc. Mike Burmester...
View Full Document
This document was uploaded on 12/04/2011.
- Fall '09
- Computer Security