Michael Backes, Birgit Pfitzmann. Relating Symbolic and Cryptographic Secrecy. IACR Cryptology ePrint Archive, 2004:300, 2004. [doi]
@article{BackesP04a,
title = {Relating Symbolic and Cryptographic Secrecy},
author = {Michael Backes and Birgit Pfitzmann},
year = {2004},
url = {http://eprint.iacr.org/2004/300},
researchr = {https://researchr.org/publication/BackesP04a},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2004},
pages = {300},
}