Login / Signup
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.
Liana Bozga
Cristian Ene
Yassine Lakhnech
Published in:
FoSSaCS (2004)
Keyphrases
</>
cryptographic protocols
lightweight