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

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon

2022

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.

Paper Citation

in Harvard Style

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 - Volume 1: MODELSWARD, ISBN 978-989-758-550-0, pages 48-60. DOI: 10.5220/0010832300003119

in Bibtex Style

@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 - Volume 1: MODELSWARD,},
year={2022},
pages={48-60},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010832300003119},
isbn={978-989-758-550-0},
}

in EndNote Style

TY - CONF

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