SecPAL: Design and semantics of a decentralized authorization language

By Moritz Y. Becker, Cédric Fournet, A. Gordon. Journal of computing and security, 2010

343 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Sociology and Political Science

View Paper: https://www.semanticscholar.org/paper/864b2d99bdf78c3eec64b93b2ff486ec67027502

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Michael Backes
2. Yang Zhang
3. Nicholas Carlini

In Sociology and Political Science

1. Michael Backes

Citations in the corpus

• Automated Synthesis of Privacy-Preserving Distributed Applications (2011, methodology): “We proved that the implementations output by the compiler enforce the intended authorization policies and we conducted an experimental evaluation to demonstrate the feasibility of our approach.”