W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures - Télécom Paris 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 : CC BY - Attribution

Dates and versions

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

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⟩
119 View
60 Download

Altmetric

Share

Gmail Facebook X LinkedIn More