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]

Authors

Moritz Y. Becker

This author has not been identified. Look up 'Moritz Y. Becker' in Google

Cédric Fournet

This author has not been identified. Look up 'Cédric Fournet' in Google

Andrew D. Gordon

Identified as Andrew D. Gordon