Code-carrying authorization (2008)

by S Maffeis, M Abadi, C Fournet, A D Gordon
Venue:In ESORICS ’08