Outline for November 16, 2022

Reading: text, §17.1, 17.3

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

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

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

ECS 235A, Computer and Information Security Version of November 16, 2022 at 3:31PM

You can also obtain a PDF version of this.