W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures - Equipe System on Chip
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

Dates et versions

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

Licence

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⟩
358 Consultations
107 Téléchargements

Altmetric

Partager

More