BibTeX record conf/csfw/Syverson90

download as .bib file

@inproceedings{DBLP:conf/csfw/Syverson90,
  author       = {Paul F. Syverson},
  title        = {Formal Semantics for Logics of Cryptographic Protocols},
  booktitle    = {Third {IEEE} Computer Security Foundations Workshop - CSFW'90, Franconia,
                  New Hampshire, USA, June 12-14, 1990, Proceedings},
  pages        = {32--41},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/CSFW.1990.128183},
  doi          = {10.1109/CSFW.1990.128183},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/csfw/Syverson90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics