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

Michael Backes Birgit Pfitzmann

Published in: CSFW (2004)

Keyphrases

smart card
cryptographic protocols
hash functions
information systems
database
neural network
security protocols
digital signature