Increasing the Confidence in Security Assurance Cases using Game Theory
Abstract
This paper proposes a game theory based approach to increase confidence in security assurance cases. Security assurance cases are structured arguments and evidence used to reason about the security properties of a system, and this work uses adversarial reasoning to stress-test their validity.
Type
Publication
Proceedings of the 19th International Conference on Availability, Reliability and Security (ARES 2024)
Mazen Mohamad
Researcher at RISE Research Institutes of Sweden
My research interests include Safety & Cybersecurity of Autonomous Systems, AI4Security, and Security4AI.