ECS 235B, Winter 2022: Lecture 19 Outline and Slides

Outline

• Lecture 19 Outline; slides with audio (WARNING: 466 MB)

Module Slides

40. Introduction to Noninterference
41. Security Policy and the Unwinding Theorem
42. Access Control Matrix Revisited
43. Generalized Noninterference
44. Policy Composition I

Other Useful Documents

• Table of Notation for Noninterference and Nondeducibility

---

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 February 14, 2022 at 12:20AM