Outline for April 28, 2006
Reading: text, §8.1—8.2
- Greetings and felicitations!
- Problem with instantiation of Bell-LaPadula Model
- Covert channel example: what is “writing”?
- Composition of lattices
- Principles of autonomy and security
- Give example
- Deterministic noninterference
- Model of system
- Relationship of output to states
- Projections and purge functions
- Alternative definition of security policy
- Security policy
- Alternate projection function
- Noninterference-secure with respect to the policy r
- Unwinding Theorem
- Locally respects
Version of April 28, 2006 at 12:20 PM
You can also obtain a PDF version of this.