Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.

Michael Backes Birgit Pfitzmann

Published in: IACR Cryptol. ePrint Arch. (2004)

Keyphrases

smart card
artificial intelligence
security protocols
cryptographic protocols
cross platform
cryptographic algorithms
data encryption standard
real world
data mining
case study
key management
security properties