BibTeX record conf/prdc/TippenhauerTVCNKS14

download as .bib file

@inproceedings{DBLP:conf/prdc/TippenhauerTVCNKS14,
  author       = {Nils Ole Tippenhauer and
                  William G. Temple and
                  An Hoa Vu and
                  Binbin Chen and
                  David M. Nicol and
                  Zbigniew Kalbarczyk and
                  William H. Sanders},
  title        = {Automatic Generation of Security Argument Graphs},
  booktitle    = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2014, Singapore, November 18-21, 2014},
  pages        = {33--42},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PRDC.2014.13},
  doi          = {10.1109/PRDC.2014.13},
  timestamp    = {Thu, 23 Mar 2023 23:59:52 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TippenhauerTVCNKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics