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
> Publications > SecPAL: Design and Semantics of a Decentralized Authorization Language