May 14, 2025 Outline Revision 1

Reading: text, §18.1–18.2
Assignments: Homework #3, due May 16 (Note the change in due date); Project report, due June 6 at 3:00pm

Module 50 (Reading: text, §18.1)

1. Confinement problem
   1. What it is
   2. Covert channels
   3. Rule of transitive confinement
   4. Difficulty of preventing leaking

Module 51 (Reading: text, §18.2)

2. Isolation: virtual machines

3. Isolation: non-virtual containers
   1. Library operating systems
   2. Sandboxes

4. Isolation: program modification
   1. Software fault isolation
   2. Compiling
   3. Loading

Module 52 (Reading: text, §18.3)

5. Covert channels
   1. Storage vs. timing
   2. Noise vs. noiseless
   3. Existence
   4. Bandwidth

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 May 26, 2025 at 12:48PM

You can also obtain a PDF version of this.