Lecture 8: October 11, 2019

Reading: text, §5.2–5.2.1, 5.2.2, A
Due: Lab 1, due October 18, 2019; Homework 2, due October 21, 2019

1. Greetings and felicitations!
2. Puzzle of the Day
3. 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
4. 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
5. Range of levels
6. Example: Trusted Solaris

Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu

ECS 153, Computer Security Version of October 12, 2019 at 4:00PM

You can also obtain a PDF version of this.