BibTeX record: conf/sp/FranklinCDS10

download as .bib file

@inproceedings{DBLP:conf/sp/FranklinCDS10,
  author    = {Jason Franklin and
               Sagar Chaki and
               Anupam Datta and
               Arvind Seshadri},
  title     = {Scalable Parametric Verification of Secure Systems: How to Verify
               Reference Monitors without Worrying about Data Structure Size},
  booktitle = {31st {IEEE} Symposium on Security and Privacy, S{\&}P 2010, 16-19
               May 2010, Berleley/Oakland, California, {USA}},
  pages     = {365--379},
  year      = {2010},
  crossref  = {DBLP:conf/sp/2010},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SP.2010.29},
  doi       = {10.1109/SP.2010.29},
  timestamp = {Tue, 13 Jul 2010 13:38:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/FranklinCDS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sp/2010,
  title     = {31st {IEEE} Symposium on Security and Privacy, S{\&}P 2010, 16-19
               May 2010, Berleley/Oakland, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4035-1},
  timestamp = {Tue, 13 Jul 2010 13:31:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}