Outline for November 27, 2023

Reading: text, §17.3–17.6
Due: Homework 5, due December 6; Completed Project, due December 12

1. Compiler-based flow mechanisms
   1. Exceptions and infinite loops

2. Compiler-based flow mechanisms
   1. Semaphores
   2. Cobegin/coend
   3. Soundness

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: [email protected]

ECS 235A, Computer and Information Security Version of November 27, 2023 at 11:29AM

You can also obtain a PDF version of this.