Login / Signup

A Formal Language for Cryptographic Pseudocode.

Michael BackesMatthias BergDominique 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