BibTeX record conf/hotsos/RahimDA19

download as .bib file

@inproceedings{DBLP:conf/hotsos/RahimDA19,
  author    = {Muhammad Abdul Basit Ur Rahim and
               Qi Duan and
               Ehab Al{-}Shaer},
  title     = {A formal verification of mutation-based moving target defense},
  booktitle = {Proceedings of the 6th Annual Symposium on Hot Topics in the Science
               of Security, HotSoS 2019, Nashville, TN, USA, April 1-3, 2019},
  pages     = {10:1--10:2},
  year      = {2019},
  crossref  = {DBLP:conf/hotsos/2019},
  url       = {https://doi.org/10.1145/3314058.3317723},
  doi       = {10.1145/3314058.3317723},
  timestamp = {Sat, 22 Jun 2019 19:16:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotsos/RahimDA19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotsos/2019,
  editor    = {Xenofon D. Koutsoukos and
               Alvaro A. C{\'{a}}rdenas and
               Ehab Al{-}Shaer},
  title     = {Proceedings of the 6th Annual Symposium on Hot Topics in the Science
               of Security, HotSoS 2019, Nashville, TN, USA, April 1-3, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3314058},
  doi       = {10.1145/3314058},
  isbn      = {978-1-4503-7147-6},
  timestamp = {Sat, 22 Jun 2019 19:13:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotsos/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics