BibTeX record: series/natosec/Myers10

download as .bib file

@incollection{DBLP:series/natosec/Myers10,
  author    = {Andrew C. Myers},
  title     = {Using Security Policies to Write Secure Software},
  booktitle = {Logics and Languages for Reliability and Security},
  year      = {2010},
  pages     = {225--261},
  crossref  = {DBLP:series/natosec/25},
  url       = {http://dx.doi.org/10.3233/978-1-60750-100-8-225},
  doi       = {10.3233/978-1-60750-100-8-225},
  timestamp = {Thu, 23 Oct 2014 02:54:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/natosec/Myers10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:series/natosec/25,
  editor    = {Javier Esparza and
               Bernd Spanfelner and
               Orna Grumberg},
  title     = {Logics and Languages for Reliability and Security},
  booktitle = {Logics and Languages for Reliability and Security},
  series    = {{NATO} Science for Peace and Security Series - {D:} Information and
               Communication Security},
  year      = {2010},
  volume    = {25},
  publisher = {{IOS} Press},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=16080},
  isbn      = {978-1-60750-099-5},
  timestamp = {Thu, 23 Oct 2014 02:54:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/natosec/25},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}