|
Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu |
Version of November 27, 2023 at 12:47PM
Due: December 6, 2023
Points: 20
Prove that we can omit the requirement lub{i, b[i]} ≤ a[i] from the requirements for secure information flow in the example for iterative statements (see Section 17.3.2.4).
|
ECS 235A, Computer and Information Security Version of November 27, 2023 at 12:47PM
|
You can also obtain a PDF version of this.
|