@inproceedings{ScedrovCGWW01,
  title = {Relating Cryptography and Cryptographic Protocols},
  author = {Andre Scedrov and Ran Canetti and Joshua D. Guttman and David Wagner and Michael Waidner},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/csfw/2001/1146/00/11460111.pdf},
  tags = {protocol},
  researchr = {https://researchr.org/publication/ScedrovCGWW01},
  cites = {0},
  citedby = {0},
  pages = {111-114},
  booktitle = {csfw},
}