loading
Documents

Research.Publish.Connect.

Paper

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

ISBN: 978-989-758-283-7

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.

PDF ImageFull Text

Download
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 18.206.13.39

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 - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, 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 - Volume 1: MODELSWARD,},
year={2018},
pages={287-294},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006535802870294},
isbn={978-989-758-283-7},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.