Outline for October 1, 2021

Reading: text, §5.2.2, 5.3, 6.1–6.2
Due: Homework 1, due October 6; Project selection, due Oct 8

1. Example: Trusted Solaris

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

3. Requirements of integrity models

4. Biba Model (strict integrity policy)

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

ECS 235A, Computer and Information Security Version of October 1, 2021 at 10:38AM

You can also obtain a PDF version of this.