BibTeX record conf/csfw/BugliesiFM05

download as .bib file

@inproceedings{DBLP:conf/csfw/BugliesiFM05,
  author    = {Michele Bugliesi and
               Riccardo Focardi and
               Matteo Maffei},
  title     = {Analysis of Typed Analyses of Authentication Protocols},
  booktitle = {18th {IEEE} Computer Security Foundations Workshop, {(CSFW-18} 2005),
               20-22 June 2005, Aix-en-Provence, France},
  pages     = {112--125},
  year      = {2005},
  crossref  = {DBLP:conf/csfw/2005},
  url       = {https://doi.org/10.1109/CSFW.2005.8},
  doi       = {10.1109/CSFW.2005.8},
  timestamp = {Fri, 02 Jun 2017 20:47:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/BugliesiFM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csfw/2005,
  title     = {18th {IEEE} Computer Security Foundations Workshop, {(CSFW-18} 2005),
               20-22 June 2005, Aix-en-Provence, France},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9853},
  isbn      = {0-7695-2340-4},
  timestamp = {Fri, 13 May 2016 11:50:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csfw/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier