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 metadatas

https://hal.telecom-paristech.fr/hal-02287141
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:38:33 PM
Last modification on : Tuesday, November 5, 2019 - 9:32:04 AM

Identifiers

  • HAL Id : hal-02287141, version 1

Citation

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⟩

Share

Metrics

Record views

13