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 <>
Submitted on : Friday, September 13, 2019 - 5:16:08 PM
Last modification on : Tuesday, September 21, 2021 - 2:16:04 PM

Identifiers

  • HAL Id : hal-02287725, version 1

Collections

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

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

Share

Metrics

Record views

54