Inductive Analysis of the Internet Protocol TLS (Position Paper)

Lawrence C. Paulson. Inductive Analysis of the Internet Protocol TLS (Position Paper). In Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe, editors, Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings. Volume 1550 of Lecture Notes in Computer Science, pages 1-12, Springer, 1998. [doi]

@inproceedings{Paulson98,
  title = {Inductive Analysis of the Internet Protocol TLS (Position Paper)},
  author = {Lawrence C. Paulson},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1550/15500001.htm},
  tags = {protocol, analysis, C++},
  researchr = {https://researchr.org/publication/Paulson98},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings},
  editor = {Bruce Christianson and Bruno Crispo and William S. Harbison and Michael Roe},
  volume = {1550},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65663-4},
}