May 26, 2017 Outline

Reading: Chapters from revised text, §18.3.1.4–18.4
Due: Homework #4, June 7; Final project, June 7

1. Capacity
   1. When is bandwidth of covert channel?
   2. Analysis
   3. Measuring capacity
2. Mitigating covert channels
   1. Preallocation and hold until process terminates
   2. Impose uniformity
   3. Randomize resource allocation
   4. Efficiency/performance vs. security