BibTeX record conf/gramsec/PinchinatSC20

• > Home > conf/gramsec/PinchinatSC20

@inproceedings{DBLP:conf/gramsec/PinchinatSC20,
  author       = {Sophie Pinchinat and
                  Fran{\c{c}}ois Schwarzentruber and
                  S{\'{e}}bastien L{\^{e}} Cong},
  editor       = {Harley Eades III and
                  Olga Gadyatskaya},
  title        = {Library-Based Attack Tree Synthesis},
  booktitle    = {Graphical Models for Security - 7th International Workshop, GraMSec
                  2020, Boston, MA, USA, June 22, 2020 Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12419},
  pages        = {24--44},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62230-5\_2},
  doi          = {10.1007/978-3-030-62230-5\_2},
  timestamp    = {Tue, 10 Nov 2020 14:15:22 +0100},
  biburl       = {https://dblp.org/rec/conf/gramsec/PinchinatSC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}