SecPAL: Design and semantics of a decentralized authorization language.

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

Published in: J. Comput. Secur. (2010)

Keyphrases

cooperative
design process
logical language
access control
highly expressive
e learning
multi agent
natural language
conceptual model
modeling language
default reasoning
conditional logic
formal language
modelling language
formal languages
domain specific languages