Login / Signup
Computing Symbolic Models for Verifying Cryptographic Protocols.
Marcelo P. Fiore
Martín Abadi
Published in:
CSFW (2001)
Keyphrases
</>
cryptographic protocols
probabilistic model
information systems
database
symbolic description