@inproceedings{eb6de9cd508440ef8a676f5b0ca6cf86,
title = "On Threat Model Repair",
abstract = "Security by construction is an approach to system development where security considerations are integrated into the design process from the very beginning. Threat modeling helps identify potential threats and vulnerabilities early in the system development process, assess the risk associated with each threat, and design appropriate mitigation actions. In this paper, we study threat model repair, a method to automatically suggest structural changes to the design that mitigate threats discovered by the analysis. This helps find a secure design early in the process by allowing a user to quickly iterate over different design variants.",
author = "Roderick Bloem and Sebastian Chlup and Dejan Nickovic and Christoph Schmittner",
year = "2024",
month = oct,
doi = "10.1007/978-3-031-75387-9_18",
language = "English",
isbn = "978-3-031-75386-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Cham",
pages = "302–310",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies. ISoLA 2024",
note = "12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, ISoLA 2024 ; Conference date: 27-10-2024 Through 31-10-2024",
}