Login / Signup
Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)
Yannick Chevalier
Mounira Kourjieh
Published in:
CoRR (2007)
Keyphrases
</>
cryptographic protocols
information systems