Outline for March 12, 2007

1. Greetings and Felicitations!
2. Confinement problem
   1. What it is
   2. Covert channels
   3. Rule of transitive confinement
   4. Difficulty of preventing leaking
3. Isolation: virtual machines
   1. What it is
   2. Example: KVM/370
   3. Example: VAX/VMM
4. Isolation: sandboxes
   1. What it is
   2. Adding mechanisms to libraries or kernel
   3. Modify program or process to be executed
   4. Example: Janus
5. Covert channels
   1. Storage vs. timing
   2. Noise vs. noiseless
   3. Existence
   4. Bandwidth