Sign in
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures.
Véronique Cortier
Michaël Rusinowitch
Eugen Zalinescu
Published in:
PPDP (2005)
Keyphrases
</>
cryptographic protocols
security properties
encryption decryption
standard model
security protocols
authentication protocol
digital signature
real time