BibTeX record conf/cav/ArmandoBBCCCDHKMMORSTVV05

download as .bib file

  author    = {Alessandro Armando and
               David A. Basin and
               Yohan Boichut and
               Yannick Chevalier and
               Luca Compagna and
               Jorge Cu{\'{e}}llar and
               Paul Hankes Drielsma and
               Pierre{-}Cyrille H{\'{e}}am and
               Olga Kouchnarenko and
               Jacopo Mantovani and
               Sebastian M{\"{o}}dersheim and
               David von Oheimb and
               Micha{\"{e}}l Rusinowitch and
               Judson Santiago and
               Mathieu Turuani and
               Luca Vigan{\`{o}} and
               Laurent Vigneron},
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {The {AVISPA} Tool for the Automated Validation of Internet Security
               Protocols and Applications},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  pages     = {281--285},
  publisher = {Springer},
  year      = {2005},
  url       = {\_27},
  doi       = {10.1007/11513988\_27},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics