January 29, 2014 Outline

Reading: text, §5
Assignment due: Project progress report, due February 4, 2014; Homework #2, due February 11, 2014

  1. Using the model
    1. Example instantiation: give-read for Multics
  2. Tranquility
    1. Strong tranquility
    2. Weak tranquility
  3. System Z and the controversy

You can also obtain a PDF version of this. Version of January 28, 2014 at 6:32PM