Outline for November 21, 2025

Reading: text, §17.3–17.6
Assignments: Homework 4, due November 21; Completed Project, due December 9

1. Greetings and Felicitations!

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

3. Execution-based flow mechanisms
   1. Fenton’s Data Mark Machine
   2. Variable classes

4. Integrity and information flow

5. Examples
   1. Android taint analysis
   2. Firewalls

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

ECS 235A, Computer and Information Security Version of November 19, 2025 at 9:04PM

You can also obtain a PDF version of this.