Extra Credit 2

Due: February 8, 2019
Points: 20

Questions

  1. (20 points) Prove Theorem 6.1 for Biba’s Strict Integrity Policy.
UC Davis seal
Matt Bishop
Office: 2209 Watershed Science
Phone: +1 (530) 752-8060
Email: [email protected]
You can also obtain a PDF version of this.
Version of January 28, 2019 at 11:16PM