loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Bastien Sultan 1 ; Ludovic Apvrille 1 and Philippe Jaillon 2

Affiliations: 1 LTCI, Télécom Paris, Institut Polytechnique de Paris, Sophia-Antipolis, France ; 2 Mines Saint-Etienne, CEA-Tech, Centre CMP, F - 13541 Gardanne, France

Keyword(s): Formal Verification, Impact Assessment, Countermeasures, Attacks, Safety, Security, Performance.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.192.94.177

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sultan, B.; Apvrille, L. and Jaillon, P. (2022). Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-550-0; ISSN 2184-4348, SciTePress, pages 48-60. DOI: 10.5220/0010832300003119

@conference{modelsward22,
author={Bastien Sultan. and Ludovic Apvrille. and Philippe Jaillon.},
title={Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec},
booktitle={Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2022},
pages={48-60},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010832300003119},
isbn={978-989-758-550-0},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec
SN - 978-989-758-550-0
IS - 2184-4348
AU - Sultan, B.
AU - Apvrille, L.
AU - Jaillon, P.
PY - 2022
SP - 48
EP - 60
DO - 10.5220/0010832300003119
PB - SciTePress