ACL
K3 do
X?
Y
N
Verifierís Machine
Verifierís Machine
A
B
ACL: I say ( K1 may delegate or do { X, Y, Z } )
A: K1 says ( K2 may delegate or do { X, Y } )
B: K2 says ( K3 may do { W, X } )
_ I say (K3 may do {X}), by logical reduction
Certificates
| Previous slide | Next slide | Back to first slide | View graphic version |