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

Outline

• Lecture 18 Outline

Module Slides

33. Policy Composition
34. Introduction to Noninterference
35. Security Policy and the Unwinding Theorem

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 17, 2021 at 11:20PM