Login / Signup

A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures.

Véronique CortierMichaël RusinowitchEugen Zalinescu
Published in: PPDP (2005)
Keyphrases
  • cryptographic protocols
  • security properties
  • encryption decryption
  • standard model
  • security protocols
  • authentication protocol
  • digital signature
  • real time