Outline for February 12, 2016

Reading: §16 in text
Due: Homework 3, due February 22


  1. Information flow
    1. Information flow policy, confidentiality policy, integrity policy
    2. Example
  2. Entropy-based analysis
    1. Flow of information from x to y
    2. Implicit flow of information
  3. Compiler-based flow mechanisms
    1. Scalar declarations
    2. Array declarations
    3. Assignment statements
    4. Compound statements
    5. Conditional statements
    6. Iterative statements
    7. Goto statements
    8. Procedure calls
    9. Exceptions and infinite loops
    10. Semaphores
    11. Cobegin/coend
    12. Soundness

You can also obtain a PDF version of this. Version of February 24, 2016 at 10:50PM