Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Abstract : Attack-Defence Trees (ADTrees) are a well-suited formalism to assess possible attacks to systems and the efficiency of countermeasures. This paper extends the available ADTree constructs with re-active patterns that cover further security scenarios, and equips all constructs with attributes such as time and cost to allow for quantitative analyses. We model ADTrees as (an extension of) Asynchronous Multi-Agents Systems: EAMAS. The ADTree-EAMAS transformation allows us to quantify the impact of different agents configurations on metrics such as attack time. Using EAMAS also permits parametric verification: we derive constraints for property satisfaction, e.g. the maximum time a defence can take to block an attack. Our approach is exercised on several case studies using the Uppaal and IMITATOR tools. We developed the open-source tool adt2amas implementing our transformation.
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-02902348
Contributeur : Arias Jaime <>
Soumis le : dimanche 19 juillet 2020 - 10:42:29
Dernière modification le : lundi 23 novembre 2020 - 12:52:04
Archivage à long terme le : : mardi 1 décembre 2020 - 00:55:30

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02902348, version 1

Collections

Citation

Jaime Arias, Carlos Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, et al.. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. 22nd International Conference on Formal Engineering Methods, Mar 2021, Singapore, Singapore. ⟨hal-02902348⟩

Partager

Métriques

Consultations de la notice

315

Téléchargements de fichiers

70