W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures - Equipe System on Chip Access content directly
Book Sections Year : 2023

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

Abstract

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
Origin Files produced by the author(s)
licence

Dates and versions

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

Licence

Identifiers

Cite

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⟩
121 View
64 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More