Login / Signup
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
Michael Backes
Matteo Maffei
Dominique Unruh
Published in:
Formal Protocol Verification Applied (2007)
Keyphrases
</>
automated verification
knowledge base
domain knowledge
expert systems
learning systems
knowledge representation
knowledge acquisition
knowledge sharing
neural network
metadata
probabilistic model
knowledge based systems
domain experts
background knowledge
authentication protocol