PCAL: Language Support for Proof-Carrying Authorization Systems

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

Publication date: January 31, 2009

A. Chaudhuri, D. Garg