Login / Signup

Computing Symbolic Models for Verifying Cryptographic Protocols.

Marcelo P. FioreMartín Abadi
Published in: CSFW (2001)
Keyphrases
  • cryptographic protocols
  • probabilistic model
  • information systems
  • database
  • symbolic description