Login / Signup
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols.
Stéphanie Delaune
Lucca Hirschi
Published in:
CoRR (2016)
Keyphrases
</>
database systems
digital libraries
standard model