Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis

Date first appeared online	29/08/2023
DOI	10.3390/info14090481
Authors	Nguyen H., Sabaliauskaite G., Shaikh S.
Journal Name	information
Volume	14

Documents

• 64161.pdf , Book, This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).