ECS 235B, Winter 2021: Lecture 10 Outline and Slides

Outline

• Lecture 10 Outline

Module Slides

19. Tranquility
20. The Controversy and System Z
21. Integrity Requirements and the Biba Model

Handouts

• Bell-Lapadula Symbols
• Pointers on Proofs

---

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 27, 2021 at 4:18PM