BibTeX record: conf/fosad/FocardiLS10

download as .bib file

@inproceedings{DBLP:conf/fosad/FocardiLS10,
  author    = {Riccardo Focardi and
               Flaminia L. Luccio and
               Graham Steel},
  title     = {An Introduction to Security {API} Analysis},
  booktitle = {Foundations of Security Analysis and Design {VI} - {FOSAD} Tutorial
               Lectures},
  year      = {2011},
  pages     = {35--65},
  crossref  = {DBLP:conf/fosad/2010},
  url       = {http://dx.doi.org/10.1007/978-3-642-23082-0_2},
  doi       = {10.1007/978-3-642-23082-0_2},
  timestamp = {Wed, 17 Sep 2014 09:42:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fosad/FocardiLS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fosad/2010,
  editor    = {Alessandro Aldini and
               Roberto Gorrieri},
  title     = {Foundations of Security Analysis and Design {VI} - {FOSAD} Tutorial
               Lectures},
  series    = {Lecture Notes in Computer Science},
  year      = {2011},
  volume    = {6858},
  publisher = {Springer},
  url       = {http://dx.doi.org/10.1007/978-3-642-23082-0},
  doi       = {10.1007/978-3-642-23082-0},
  isbn      = {978-3-642-23081-3},
  timestamp = {Wed, 17 Sep 2014 09:42:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fosad/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}