PCAL: Language support for proofcarrying authorization systems (2009)

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