Take-Grant Graphs

Here are the graphs I used in class on Wednesday, April 10.

For conspiracy in de jure graphs:
conspiracy graph

The four de facto rule, which are post, pass, spy, and find:
post rule
pass rule
spy rule
find rule

The example of can•know:
canknow: graph G0
canknow: graph G1
canknow: graph G2
canknow: graph G3
canknow: graph G4

Note the above derivation is wrong as the find rule cannot be applied (it requires that y be a subject). So, start after the take rule application:
canknow: graph G3′
canknow: graph G4′

You can also obtain a PDF version of this. Version of April 10, 2013 at 11:10PM