May 19, 2017 Outline

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

1. Principles of secure design
   1. Principle of least privilege
   2. Principle of fail-safe defaults
   3. Principle of economy of mechanism
   4. Principle of complete mediation
   5. Principle of open design
   6. Principle of separation of privilege
   7. Principle of least common mechanism
   8. Principle of least astonishment
2. Isolation: non-virtual machines
   1. Library operating systems
   2. Sandboxes
   3. Program rewriting