Mitigating Security Risks through Attack Strategies Exploration

Braham Lotfi Mediouni (1) , Ayoub Nouri (1) , Marius Bozga (1) , Axel Legay (2) , Saddek Bensalem (1)

1 VERIMAG - IMAG - VERIMAG
2 GenScale - Scalable, Optimized and Parallel Algorithms for Genomics

Security assessment of organization's information systems is becoming increasingly complex due to their growing size and the underlying architectures (e.g., cloud). Analyzing potential attacks is a pragmatic approach that provides insightful information to achieve this purpose. In this work, we propose to synthesize effective defense configurations for sophisticated attack strategies, which are obtained by minimizing resource usage while ensuring a high probability of success. Obtained results on real-life case studies show substantial improvement compared to existing techniques.

Domaines: Systèmes embarqués

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem. Mitigating Security Risks through Attack Strategies Exploration. ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.1-22. ⟨hal-01896590v1⟩