Outline for November 15, 2021

Reading: text, §23.9.7, C, 17.1, 17.3
Due: Homework 4, due Nov 22, 2021

1. Defenses
   1. Specifications as restrictions
   2. Limiting sharing
   3. Statistical analysis
   4. Trust

2. Entropy

3. Entropy-based analysis
   1. Flow of information from x to y
   2. Implicit flow of information

4. 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

Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu

ECS 235A, Computer and Information Security Version of November 14, 2021 at 7:26PM

You can also obtain a PDF version of this.