Relating symbolic and cryptographic secrecy (0)

by Michael Backes, Birgit Pfitzmann
Venue:IEEE Trans. Dependable Secur. Comput