BibTeX record conf/uss/HartCL08

download as .bib file

@inproceedings{DBLP:conf/uss/HartCL08,
  author       = {Thomas E. Hart and
                  Marsha Chechik and
                  David Lie},
  editor       = {Niels Provos},
  title        = {Security Benchmarking using Partial Verification},
  booktitle    = {3rd {USENIX} Workshop on Hot Topics in Security, HotSec'08, San Jose,
                  CA, USA, July 29, 2008, Proceedings},
  publisher    = {{USENIX} Association},
  year         = {2008},
  url          = {http://www.usenix.org/events/hotsec08/tech/full\_papers/hart/hart.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:35:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/HartCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics