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]

Abstract

Abstract is missing.