SecPAL: Design and Semantics of a Decentralized Authorization Language (2006)

by Moritz Y. Becker , Cédric Fournet , Andrew D. Gordon
Venue:In Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF
Citations:40 - 5 self