April 27, 2026 Outline

Reading: text, §9.4–9.6
Assignments: Homework #2, due April 28 (Note extension); Project progress report, due May 11

1. Nondeducibility
   1. Event system
   2. Deducibly secure
   3. Composing deducibly secure systems

2. Generalized noninterference
   1. Assumptions and nondeducibility
   2. Composing generalized noninterference systems

3. Restrictiveness
   1. Feedback-free systems

4. Side channels
   1. Passive attacks
   2. Active attacks

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 April 27, 2026 at 1:10PM

You can also obtain a PDF version of this.