Outline for October 4, 2023
Reading: text, §4.4, 5.1–5.2.2, 5.3, A
Due: Homework 1, due October 9; Project teams, question, due Oct 11
- Types of Access Control
- Discretionary Access Control (DAC)
- Mandatory Access Control (MAC)
- Originator Controlled Access Control (ORCON)
- Bell-LaPadula Model with levels only
- Security levels
- Simple security property
- *-property
- Discretionary security property
- Simplified version of the Basic Security Theorem
- Lattices
- Full Bell-LaPadula Model
- Add in compartments
- dom relation
- BLP as lattice structure
- Simple security property
- *-Property
- Discretionary security property
- Basic Security Theorem
- Range of levels
- Example: Trusted Solaris