Lecture 12: April 23, 2021

Reading: text, §5.1–5.2.2, A
Due: Homework 2, due April 23, 2021; Lab 2, due May 5, 2021

1. Goals of confidentiality policies

2. Bell-LaPadula Model with levels only
   1. Security levels
   2. Simple security property
   3. *-property
   4. Discretionary security property
   5. Simplified version of the Basic Security Theorem

3. Full Bell-LaPadula Model
   1. Add in compartments
   2. dom relation
   3. BLP as lattice structure
   4. Simple security property
   5. *-Property
   6. Discretionary security property
   7. Basic Security Theorem

4. Range of levels

5. Example: Trusted Solaris

Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: [email protected]

ECS 135, Computer Security Version of April 23, 2021 at 1:01AM

You can also obtain a PDF version of this.