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

Outline

• Lecture 19 Outline

Module Slides

35. Security Policy and the Unwinding Theorem
36. Access Control Matrix Revisited
37. Generalized Noninterference

Notation Guide

• 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 21, 2021 at 10:51PM