BibTeX record conf/acsac/HuangZOPS11

download as .bib file

@inproceedings{DBLP:conf/acsac/HuangZOPS11,
  author       = {Heqing Huang and
                  Su Zhang and
                  Xinming Ou and
                  Atul Prakash and
                  Karem A. Sakallah},
  editor       = {Robert H'obbes' Zakon and
                  John P. McDermott and
                  Michael E. Locasto},
  title        = {Distilling critical attack graph surface iteratively through minimum-cost
                  {SAT} solving},
  booktitle    = {Twenty-Seventh Annual Computer Security Applications Conference, {ACSAC}
                  2011, Orlando, FL, USA, 5-9 December 2011},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2076732.2076738},
  doi          = {10.1145/2076732.2076738},
  timestamp    = {Wed, 12 May 2021 16:44:22 +0200},
  biburl       = {https://dblp.org/rec/conf/acsac/HuangZOPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics