February 25, 2022 Outline

Reading: text, §17.3.2–17.4
Assignments: Homework 4, due March 9

Module 51

1. Compiler-based flow mechanisms
   1. Assignment statements
   2. Compound statements
   3. Conditional statements
   4. Iterative statements
   5. Goto statements

Module 52

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

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

ECS 235B, Foundations of Computer and Information Security Version of February 28, 2022 at 9:53AM

You can also obtain a PDF version of this.