Design and Semantics of a Decentralized Authorization Language.

Moritz Y. Becker Cédric Fournet Andrew D. Gordon

Published in: CSF (2007)

Keyphrases

programming language
conceptual model
language learning
logical language
design process
access control
aggregate functions
denotational semantics
distributed systems
fine grained
conceptual graphs
operational semantics
formal languages
disjunctive logic programming