loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Letitia W. Li 1 ; Florian Lugou 2 and Ludovic Apvrille 2

Affiliations: 1 Université Paris-Saclay and Institut VEDECOM, France ; 2 Université Paris-Saclay, France

Keyword(s): Model-Driven Engineering, Security, Formal Verification.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Methodologies, Processes and Platforms ; Model Execution and Simulation ; Model Transformation ; Model-Based Testing and Validation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering ; Systems Engineering

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.

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 34.230.68.214

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:
Li, L.; Lugou, F. and Apvrille, L. (2018). Evolving Attacker Perspectives for Secure Embedded System Design. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 287-294. DOI: 10.5220/0006535802870294

@conference{modelsward18,
author={Letitia W. Li. and Florian Lugou. and Ludovic Apvrille.},
title={Evolving Attacker Perspectives for Secure Embedded System Design},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2018},
pages={287-294},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006535802870294},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Evolving Attacker Perspectives for Secure Embedded System Design
SN - 978-989-758-283-7
IS - 2184-4348
AU - Li, L.
AU - Lugou, F.
AU - Apvrille, L.
PY - 2018
SP - 287
EP - 294
DO - 10.5220/0006535802870294
PB - SciTePress