Lecture 7 Outline

Reading: §4.6, G, 5.1–5.2.1, A
Due: Lab 1, due on Apr. 20, 2018 at 11:59pm; Homework 2, due on Apr. 25, 2018 at 11:59pm

1. Greetings and felicitations!
2. Example policies
   1. UC Davis Allowable Use Policy
      1. Rights and responsibilities
      2. Privacy
      3. Enforcement
      4. Unacceptable conduct
   2. University Electronic Communications policy
      1. General provisions
      2. Allowable use
      3. Privacy and confidentiality
      4. Security
      5. Retention and disposition
   3. User advisories
   4. UC Davis implementation
3. Goals of confidentiality policies
4. Bell-LaPadula Model with levels only
   1. Security levels
   2. Simple security property
   3. *-property
   4. Discretionary security property
   5. Simpolified version of the Basic Security Theorem
5. 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
6. Range of levels

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

ECS 153, Computer Security Version of April 15, 2018 at 6:13PM

You can also obtain a PDF version of this.