Pcal: Language support for proof-carrying authorization systems (2009)

by Avik Chaudhuri, Deepak Garg
Venue:Computer Security ESORICS 2009