W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures - Télécom Paris Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

Résumé

The chapter provides a detailed description of W-Sec, a formal model-based countermeasures' impact assessment method. It also introduces a new formal definition of the two SysML profiles used in SysML-Sec and W-Sec, enabling (i) for the future automation of several W-Sec stages and (ii) for the definition of consistency rules ensuring the consistency of the models written in these two distinct modeling languages. In addition, the chapter evaluates W-Sec with a new industry 4.0 case-study and discusses the strengths and the current limitations of the approach in this new application field.
Fichier principal
Vignette du fichier
paper.pdf (975.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04177250 , version 1 (04-08-2023)

Identifiants

Citer

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. Model-Driven Engineering and Software Development, 1708, Springer Nature Switzerland, pp.203-229, 2023, Communications in Computer and Information Science, 978-3-031-38821-7. ⟨10.1007/978-3-031-38821-7_10⟩. ⟨hal-04177250⟩
110 Consultations
58 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More