Outline for December 2, 2014

Reading: text, § 16, 10
Due: Homework #4, due December 10, 2014 at 11:55pm

  1. 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
  2. Execution-based flow mechanisms
    1. Fenton’s Data Mark Machine
    2. Variable classes
  3. Examples
    1. Security pipeline interface
    2. Secure network server mail guard
  4. Key Exchange
    1. Needham-Schroeder and Kerberos

You can also obtain a PDF version of this. Version of December 1, 2014 at 8:50PM

ECS 235A, Computer and Information Security
Fall Quarter 2014