Outline for November 14, 2003

Reading: Chapters 15.2.2, 16.1, 16.3

Discussion Problem

Analyzing a cipher requires being able to spot patterns. See how good you are. What is the pattern in the following?

Outline for the Day

  1. Privilege in Languages
    1. Nesting program units
    2. Temporary upgrading of privileges
  2. Information Flow
    1. What is it?
    2. Entropy-based analysis: flows from x to y if H(xs|yt) < H(xs|ys) where system starts in state s, transitions to state t
    3. Examples: y := x, x := y + z, if x = 1 then y := 0 else y := 1
  3. Compiler-Based Mechanisms
    1. Labels on variables; all examples use Bell-LaPadula style labels
      1. Review lub(X, Y), glb(X, Y)
    2. Certifying sets of statements
    3. Declarations
    4. Assignments
    5. Compound statements
    6. Conditional statements
    7. Iterative statements


Here is a PDF version of this document.