DBLP Record 'conf/uss/HartCL08'

BibTeX

@inproceedings{DBLP:conf/uss/HartCL08,
  author    = {Thomas E. Hart and
               Marsha Chechik and
               David Lie},
  title     = {Security Benchmarking using Partial Verification},
  booktitle = {HotSec},
  year      = {2008},
  ee        = {http://www.usenix.org/events/hotsec08/tech/full_papers/hart/hart.pdf},
  crossref  = {DBLP:conf/uss/2008hotsec},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/uss/2008hotsec,
  editor    = {Niels Provos},
  title     = {3rd USENIX Workshop on Hot Topics in Security, July 29,
               2008, San Jose, CA, USA, Proceedings},
  booktitle = {HotSec},
  publisher = {USENIX Association},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}