January 24, 2022 Outline

Reading: text, §5.2.4–5.6, 19&ndsh;19,1
Assignments: Homework #2, due February 4

Module 20

1. Using the Bell-LaPadula model
   1. Example instantiation: give-read for Multics

Module 21

2. Tranquility
   1. Strong tranquility
   2. Weak tranquility

Module 22

3. System Z and the controversy

Module 23

3. Assurance
   1. Trustworthy entities
   2. Security assurance
   3. Trusted system
   4. Why assurance is needed
   5. Requirements
   6. Assurance and software life cycle

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

ECS 235B, Foundations of Computer and Information Security Version of January 24, 2022 at 9:43AM

You can also obtain a PDF version of this.