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 metadatas
https://hal.telecom-paris.fr/hal-02287726
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:16:10 PM
Last modification on : Wednesday, September 30, 2020 - 8:54:15 AM

Identifiers

  • HAL Id : hal-02287726, version 1

Collections

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

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

Share

Metrics

Record views

47