Guided Design of Attack Trees: A System-Based Approach

Maxime Audinot; Sophie Pinchinat; Barbara Kordy

doi:10.1109/CSF.2018.00012

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

Guided Design of Attack Trees: A System-Based Approach

Maxime Audinot ¹ Sophie Pinchinat ¹ Barbara Kordy ²

1 LogicA - Logic and Applications

ENS Cachan - École normale supérieure - Cachan, UR1 - Université de Rennes 1, IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

2 EMSEC - EMbedded SEcurity and Cryptography

IRISA-D1 - SYSTÈMES LARGE ÉCHELLE

Maxime Audinot ¹ AuthorId : 1724274

Author

Sophie Pinchinat ¹ AuthorId : 791351

Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : sophie-pinchinat

Barbara Kordy ² AuthorId : 1310942

Author

1 LogicA - Logic and Applications (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 234528

ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France) StructId : 6862
UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
- UNIV-RENNES - Université de Rennes (France) StructId : 528860
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 419365
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

2 EMSEC - EMbedded SEcurity and Cryptography (France) StructId : 410024

IRISA-D1 - SYSTÈMES LARGE ÉCHELLE (France) StructId : 419362
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

Document type :

Conference papers

Domain :

Computer Science [cs]

Computer Science [cs] / Cryptography and Security [cs.CR]

Complete list of metadata

https://hal.inria.fr/hal-01871059
Contributor : Barbara Fila <>
Submitted on : Monday, September 10, 2018 - 11:51:56 AM
Last modification on : Tuesday, February 16, 2021 - 3:30:30 AM

Identifiers

HAL Id : hal-01871059, version 1
DOI : 10.1109/CSF.2018.00012

Collections

Citation

Maxime Audinot, Sophie Pinchinat, Barbara Kordy. Guided Design of Attack Trees: A System-Based Approach. CSF 2018 - IEEE 31st Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom. pp.61-75, ⟨10.1109/CSF.2018.00012⟩. ⟨hal-01871059⟩

Guided Design of Attack Trees: A System-Based Approach

Identifiers

Collections

Citation

Export

Metrics

119

Contact Legal Notice Personal Data

Guided Design of Attack Trees: A System-Based Approach

Identifiers

Collections

Citation

Export

Share

Metrics

119

Contact Legal Notice Personal Data