Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
SecPAL: Design and Semantics of a Decentralized Authorization Language

Moritz Y. Becker, Cedric Fournet, and Andrew D. Gordon

Details

Publication typeArticle
Published inJournal of Computer Security (JCS)
Pages597--643
Volume18
Number4
PublisherIOS Press

Newer versions

Tolga Acar and Lan Nguyen. High Assurance Policy-Based Key Management at Low Cost, Microsoft Research Technical Report, April 2014.

> Publications > SecPAL: Design and Semantics of a Decentralized Authorization Language