Variations in access control logic. (2008)

by M Abadi
Venue:In Proc. Conference on Deontic Logic in Computer Science (DEON),