April 14, 2017 Outline

Reading: Chapters from revised text §4

  1. Trust
  2. Policy vs. mechanism
  3. Policy languages
    1. High level: Ponder
    2. Low level: tripwire
  4. Secure, precise
You can also obtain a PDF version of this. Version of April 16, 2017 at 5:43PM