Lecture 8 Outline

Reading: §5.2.2, 5.3, 6.1
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: Trusted Solaris
3. Tranquility
   1. Declassification problem
   2. Strong tranquility
   3. Weak tranquility
4. Requirements of integrity models

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

ECS 153, Computer Security Version of April 25, 2018 at 10:34PM

You can also obtain a PDF version of this.