May 24, 2017 Outline

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

1. Isolation: non-virtual machines
   1. Program rewriting
   2. Loading
2. Covert channels
   1. Storage vs. timing
   2. Noise vs. noiseless
   3. Existence
   4. Bandwidth
3. Covert channel detection
   1. Shared Resource Matrix Model
   2. Information flow analysis
   3. Covert flow trees
4. Shared resource matrix methodology
   1. Identify shared resources, attributes
   2. Operations accessing those attributes
   3. Building the matrix
   4. Issues about the methodology