Designing Sequence Diagram Models for Robustness to Attacks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Designing Sequence Diagram Models for Robustness to Attacks

Boutheina Bannour
  • Fonction : Auteur
  • PersonId : 1003376
Pascale Le Gall
Gabriel Pedroza

Résumé

The omnipresence of complex distributed component-based systems offers numerous opportunities for malicious parties, especially thanks to the numerous communication mechanisms brought into play. This is particularly true for Smart Grids systems in which electricity networks and information technology are coupled to provide smarter and more efficient energy production-to-consumption chain. Indeed, Smart Grids are clearly security sensitive since a lot of components usually operate outside of the trusted company's border. In this paper, we propose a model-based methodology targeting the diagnostic of attacks with respect to some trusted components. The methodology combines UML sequence diagrams (SD) and formal symbolic techniques in order to model and analyze systems and threats from early design stages. We introduce a criterion that allows us to qualify or not a SD as robust with respect to an attack, also modeled as a SD. The criterion is defined by comparing traces as they are perceived by trusted components. We illustrate our approach with a UML sequence diagram issued from a Smart Grid case study.
Fichier non déposé

Dates et versions

hal-01812124 , version 1 (11-06-2018)

Identifiants

Citer

Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Designing Sequence Diagram Models for Robustness to Attacks. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩. ⟨hal-01812124⟩
83 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More