May 15, 2017 Outline

Reading: Chapters from revised text, §175–17.7; 18.1–18.2
Due: Homework #3, May 19; Final project, June 7

1. Examples
   1. Android taint analysis
   2. Firewalls
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