A Framework for the Study of Cryptographic Protocols

Richard Berger, Sampath Kannan, René Peralta. A Framework for the Study of Cryptographic Protocols. In Hugh C. Williams, editor, Advances in Cryptology - CRYPTO 85, Santa Barbara, California, USA, August 18-22, 1985, Proceedings. Volume 218 of Lecture Notes in Computer Science, pages 87-103, Springer, 1985. [doi]

@inproceedings{BergerKP85,
  title = {A Framework for the Study of Cryptographic Protocols},
  author = {Richard Berger and Sampath Kannan and René Peralta},
  year = {1985},
  url = {http://link.springer.de/link/service/series/0558/bibs/0218/02180087.htm},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BergerKP85},
  cites = {0},
  citedby = {0},
  pages = {87-103},
  booktitle = {Advances in Cryptology - CRYPTO  85, Santa Barbara, California, USA, August 18-22, 1985, Proceedings},
  editor = {Hugh C. Williams},
  volume = {218},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16463-4},
}