Login / Signup
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols.
Gergei Bana
Koji Hasebe
Mitsuhiro Okada
Published in:
IACR Cryptol. ePrint Arch. (2010)
Keyphrases
</>
cryptographic protocols
early vision
database
data analysis
standard model