Relating Symbolic and Cryptographic Secrecy

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},
}