@inproceedings{4f9d8ebcb9c94c8d9a867294674c9d4e,
title = "Evolving attacker perspectives for secure embedded system design",
abstract = "In our increasingly connected world, security is a growing concern for embedded systems. A systematic design and verification methodology could help detect vulnerabilities before mass production. While Attack Trees help a designer consider the attacks a system will face during a preliminary analysis phase, they can be further integrated into the design phases. We demonstrate that explicitly modeling attacker actions within a system model helps us to evaluate its impact and possible countermeasures. This paper describes how we evolved the SysML-Sec Methodology with “Attacker Scenarios” for the improved design of secure embedded systems.",
keywords = "Formal Verification, Model-Driven Engineering, Security",
author = "Li, \{Letitia W.\} and Florian Lugou and Ludovic Apvrille",
note = "Publisher Copyright: Copyright {\textcopyright} 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.; 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 ; Conference date: 22-01-2018 Through 24-01-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.5220/0006535802870294",
language = "English",
series = "MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development",
publisher = "SciTePress",
pages = "287--294",
editor = "Slimane Hammoudi and Pires, \{Luis Ferreira\} and Bran Selic",
booktitle = "MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development",
}