Communication Dans Un Congrès Année : 2024

Automatic Discovery of Cyberattacks

Résumé

We present a method for an automatic discovery of cyberattacks in a distributed information system. The method creates a formal model of branching propagation of the attacker from the specification of software and hardware architecture enriched with multi-faceted access control information. The ensuing network of automata, decorated with unitary attack costs, enables a vast range of model checking techniques, in particular the search for the most efficient attack strategies. The model is expressive enough to cover a wide range of attack and defence approaches, like false data injection or redundant data sources.

Fichier principal
Vignette du fichier
Automatic_discovery_of_cyberattacks__IEEE_CSR_.pdf (536.71 Ko) Télécharger le fichier

Dates et versions

hal-04745334 , version 1 (14-05-2025)

Licence

Identifiants

Citer

Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj. Automatic Discovery of Cyberattacks. IEEE International Conference on Cyber Security and Resilience (CSR 2024), Sep 2024, London - Hybrid, United Kingdom. pp.172--179, ⟨10.1109/CSR61664.2024.10679497⟩. ⟨hal-04745334⟩
487 Consultations
128 Téléchargements

Altmetric

Partager

  • More