Design and Semantics of a Decentralized Authorization Language

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon. Design and Semantics of a Decentralized Authorization Language. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy. pages 3-15, IEEE Computer Society, 2007. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: