University of Twente Student Theses
Optimizing security strategies : A game theoretic approach to attack defense trees
Khan, Arsalaan A (2024) Optimizing security strategies : A game theoretic approach to attack defense trees.
|
PDF
592kB |
| Abstract: | Cybersecurity analysis requires effective methods to model various attack scenarios while managing associated costs. This research addresses this challenge by utilizing game theory solvers within the PRISM model checker to identify cost-effective security strategies in Attack Defense Trees (ADT). ADT provides a structured framework for modeling potential attack scenarios and defense strategies, while game theory offers a formal methodology for analyzing strategic interactions between attackers and defenders. This study develops methodologies for translating ADT into PRISM-compatible models and optimizing security strategies based on cost considerations. The research objectives include investigating the feasibility ofusing game theory solvers in the context of ADT, integrating them with PRISM identifying cost - effective strategies using PRISM games, evaluating the cost effectiveness of these strategies, and providing practical insights for practitioners. The findings demonstrate the viability of this approach and offer valuable guidance for enhancing cybersecurity defenses through cost-focused strategic modeling and analysis. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/101026 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page