Design and semantics of a decentralized authorization language. In (2007)

by M Y Becker, C Fournet, A D Gordon
Venue:CSF’07),