PCAL: Language support for proof-carrying authorization systems (0)

by A Chaudhuri, D Garg
Venue:In Proceedings of the European Symposium on Research in Computer Security