Symmetric encryption in a simulatable Dolev-Yao style cryptographic library (2004)

by Michael Backes, Birgit Pfitzmann
Venue:In Proc. 17th IEEE Computer Security Foundations Workshop (CSFW