Skip to Main content Skip to Navigation
Conference papers

Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec

Abstract : Deploying security countermeasures on Cyber-Physical Systems (CPS) can induce side-effects that can exceed their benefits. When CPS are safety-critical systems, performing efficiency and impact assessments of security countermeasures early in the design flow is essential. The paper introduces the W-Sec method, based on SysML-Sec. The W-Sec method consists in two interwoven formal modeling and verification cycles aiming at providing countermeasures with objective and quantitative efficiency and impact assessments in terms of safety, security and performance. The paper evaluates the W-Sec method with an autonomous rover swarm case-study, and finally discusses the method's strengths and weaknesses highlighted by the case-study results.
Document type :
Conference papers
Complete list of metadata

https://hal-emse.ccsd.cnrs.fr/emse-03559558
Contributor : Florent Breuil Connect in order to contact the contributor
Submitted on : Monday, February 7, 2022 - 8:47:12 AM
Last modification on : Saturday, April 9, 2022 - 11:08:01 AM
Long-term archiving on: : Sunday, May 8, 2022 - 6:14:58 PM

File

SultanApvrilleJaillon_WSec_mod...
Files produced by the author(s)

Identifiers

  • HAL Id : emse-03559558, version 1

Citation

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon. Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2022), Feb 2022, Online, United States. 13p. ⟨emse-03559558⟩

Share

Metrics

Record views

94

Files downloads

25