Outline for October 2, 2024

Reading: text, §5.2–5.2.2, 5.3, A
Due: Homework 1, due October 9; Project selection, due Oct 9

1. Lattices

2. 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

3. Range of levels

4. Example: Trusted Solaris

5. Tranquility
   1. Declassification problem
   2. Strong tranquility
   3. Weak tranquility

6. Declassification

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

ECS 235A, Computer and Information Security Version of October 1, 2024 at 9:27PM

You can also obtain a PDF version of this.