Automated Model-Based Attack Tree Analysis Using HiP-HOPS
You are here
| Title | Automated Model-Based Attack Tree Analysis Using HiP-HOPS |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Whiting D, Sorokos I, Papadopoulos Y, Regan G, O'Carroll E |
| Editor | Papadopoulos Y, Aslansefat K, Katsaros P, Bozzano M |
| Conference Name | Model-Based Safety and Assessment |
| Publisher | Springer International Publishing |
| Conference Location | Cham |
| ISBN Number | 978-3-030-32872-6 |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-32872-6_17#citeas |
| DOI | 10.1007/978-3-030-32872-6_17 |
