PCAL: Language support for proofcarrying authorization systems (2009)

by A Chaudhuri, D Garg
Venue:In Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS ’09