Relating symbolic and cryptographic secrecy (2005)

by Michael Backes, Birgit Pfitzmann
Venue:In Proceeding 26th IEEE Symposium on Security and Privacy