Proc. 14th European Symposium on Research in Computer Security, Saint Malo, France (ESORICS 2009), pp. 184-199

PCAL: Language Support for Proof-Carrying Authorization Systems

A. Chaudhuri, D. Garg

Read Research Paper