Login / Signup
A game-theoretic framework for specification and verification of cryptographic protocols.
Mohamed Saleh
Mourad Debbabi
Published in:
Formal Aspects Comput. (2010)
Keyphrases
</>
cryptographic protocols
formal verification
security properties
security protocols
standard model
model checking
formal specification
real time
authentication protocol
private information retrieval