Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

SysML-Sec Attack Graphs: Compact Representations for Complex Attacks

Ludovic Apvrille 1, 2 yves Roudier 3 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Abstract : We discuss in this paper the use of SysML-Sec attack graphs as a graphical and semi-formal representation for complex attacks. We illustrate this on a PC and mobile malware example. We furthermore pro- vide examples of the expressivity of the operators used in such diagrams. We finally formalize the attack traces described by these operators based on timed automata.
Complete list of metadata
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:38:33 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM


  • HAL Id : hal-02287141, version 1


Ludovic Apvrille, yves Roudier. SysML-Sec Attack Graphs: Compact Representations for Complex Attacks. The Second International Workshop on Graphical Models for Security (GraMSec 2015), Jul 2015, Verona, Italy. pp.35-49. ⟨hal-02287141⟩



Record views