Relating symbolic and cryptographic secrecy (2005)

by M Backes, B Pfitzmann
Venue:In Security and Privacy, 2005 IEEE Symposium on