Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks

Résumé

Recent attacks are better coordinated, difficult to discover, and inflict severe damages to networks. However, existing response systems handle the case of a single ongoing attack. This limitation is due to the lack of an appropriate model that describes coordinated attacks. In this paper, we address this limitation by presenting a new formal description of individual, coordinated, and concurrent attacks. Afterwards, we combine Graph Theory and our attack description in order to model attack graphs that cover the three attacks types. Finally, we show how to automatically generate these attack graphs using a logical approach based on Situation Calculus.

Dates et versions

hal-01159833 , version 1 (03-06-2015)

Identifiants

Citer

Léa El Samarji, Frédéric Cuppens, Nora Cuppens-Bouhlahia, Wael Kanoun, Samuel Dubus. Situation Calculus and Graph Based Defensive Modeling of Simultaneous Attacks. CSS 2013 : 5th International Symposium on Cyberspace Safety and Security, Nov 2013, Zhangjiajie, China. pp.132 - 150, ⟨10.1007/978-3-319-03584-0_11⟩. ⟨hal-01159833⟩
95 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More