Login / Signup
A Formal Language for Cryptographic Pseudocode.
Michael Backes
Matthias Berg
Dominique Unruh
Published in:
LPAR (2008)
Keyphrases
</>
formal language
formal semantics
smart card
natural language interface
natural language
representation language
formal languages
access control policies
access control
multi agent
conflict resolution