Relating symbolic and cryptographic secrecy (2005)

by M Backes, B Pfitzmann
Venue:IEEE Transactions on Dependable and Secure Computing