Skip to Main content Skip to Navigation
Conference papers

Security Modeling for 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
Keywords : SysML security models verifications
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-02287725
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:16:08 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM

Identifiers

  • HAL Id : hal-02287725, version 1

Collections

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

Citation

Letitia W. Li, Florian Lugou, Ludovic Apvrille. Security Modeling for Embedded System Design. Fourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara, CA, United States. ⟨hal-02287725⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

25