A Rational Approach to Cryptographic Protocols

Pino Caballero-Gil Candelaria Hernández-Goya Carlos Bruno-Castañeda

Published in: CoRR (2010)

Keyphrases

cryptographic protocols
standard model
security properties
security protocols
authentication protocol
encryption decryption
real time