Login / Signup
On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)
Yannick Chevalier
Mounira Kourjieh
Published in:
CoRR (2009)
Keyphrases
</>
cryptographic protocols
digital libraries
image compression
real time