Lecture 27 Outline

Reading: §17*
Assignments: Homework 5, due Dec. 2


  1. General notes
    1. Homework 5, question 2 has been corrected. Do not do the earlier version!
    2. Please fill out the student evaluations; they will open tonight and close next Friday
  2. Entropy
  3. Information flow
  4. Compiler-based mechanisms
    1. Declarations
    2. Program statements
    3. Exceptions
    4. Concurrency
  5. Run-time mechanisms
    1. Fenton’s data mark machine
    2. Variable variable classes
  6. Firewalls

You can also obtain a PDF version of this. Version of November 23, 2016 at 11:29AM