Extra Credit #2

Due: February 7, 2023
Points: 30

Consider the construction in Section 3.5.2 that shows how to simulate three-parent joint creation using two-parent joint creation (this is on pp. 84–87 of the text). In the original paper, crC(s, c) = c/R3 (that is, the t right was omitted) and link2(S, A3) = A3/tdom(S) (that is, the C/tdom(C) predicate is omitted). Why won’t this work?

UC Davis sigil
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 January 25, 2023 at 10:45PM

You can also obtain a PDF version of this.

Valid HTML 4.01 Transitional Built with BBEdit Built on a Macintosh