Formal template-based generation of attack-defence trees for automated security analysis

Jeremy Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj Shaikh

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)1
Number of pages27
JournalMDPI Special Issue
Publication statusSubmitted - 1 Jul 2023

Cite this