Design and semantics of a decentralized authorization language (2007)

by M Y Becker, C Fournet, A D Gordon
Venue:In 20th IEEE Computer Security Foundations Symposium