@inproceedings{28c859cf7068434282e20dcfa0dd5694,
title = "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{\textquoteright}s strengths and weaknesses highlighted by the case-study results.",
keywords = "Attacks, Countermeasures, Formal Verification, Impact Assessment, Performance, Safety, Security",
author = "Bastien Sultan and Ludovic Apvrille and Philippe Jaillon",
note = "Publisher Copyright: {\textcopyright} 2022 by SCITEPRESS–Science and Technology Publications, Lda. All rights reserved.; 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022 ; Conference date: 06-02-2022 Through 08-02-2022",
year = "2022",
month = jan,
day = "1",
doi = "10.5220/0010832300003119",
language = "English",
isbn = "9789897585500",
series = "International Conference on Model-Driven Engineering and Software Development",
publisher = "Science and Technology Publications, Lda",
pages = "48--60",
editor = "Edwin Seidewitz",
booktitle = "MODELSWARD 2022 - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development",
}