Skip to Main content Skip to Navigation
Conference papers

Evolving Attacker Perspectives for Secure Embedded System Design

Letitia W. Li 1, 2 Florian Lugou 3, 1, 2 Ludovic Apvrille 1, 2 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
2 COMELEC - Département Communications & Electronique
3 EURECOM
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 : SysML security models verifications
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-02287726
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:16:10 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM

Identifiers

  • HAL Id : hal-02287726, version 1

Collections

INSTITUT-TELECOM | CNRS | EURECOM | PARISTECH | TDS-MACS | UNIV-PARIS-SACLAY | LTCI | COMELEC | LABSOC

Citation

Letitia W. Li, Florian Lugou, Ludovic Apvrille. Evolving Attacker Perspectives for Secure Embedded System Design. 6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Jan 2018, Funchal, Portugal. ⟨hal-02287726⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

41