Relating Symbolic and Cryptographic Secrecy” (2005)

by M Backes
Venue:IEEE transactions on dependable and secure computing,