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

Outline

• Lecture 20 Outline

Module Slides

37. Generalized Noninterference
38. Policy Composition I
39. Nondeducibility
40. Restrictiveness

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 23, 2021 at 9:33AM