Attack Defense Trees with Sequential Conjunction

Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh. Attack Defense Trees with Sequential Conjunction. In Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang, editors, 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. pages 247-252, IEEE, 2019. [doi]

@inproceedings{BryansNS19,
  title = {Attack Defense Trees with Sequential Conjunction},
  author = {Jeremy W. Bryans and Hoang Nga Nguyen and Siraj A. Shaikh},
  year = {2019},
  doi = {10.1109/HASE.2019.00045},
  url = {https://doi.org/10.1109/HASE.2019.00045},
  researchr = {https://researchr.org/publication/BryansNS19},
  cites = {0},
  citedby = {0},
  pages = {247-252},
  booktitle = {19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019},
  editor = {Dongjin Yu and Vu Nguyen 0003 and Congfeng Jiang},
  publisher = {IEEE},
  isbn = {978-1-5386-8540-2},
}