Foundations of Attack–Defense Trees

Barbara Kordy; Sjouke Mauw; Saša Radomirović; Patrick Schweitzer

doi:10.1007/978-3-642-19751-2_6

Foundations of Attack–Defense Trees

Barbara Kordy
, Sjouke Mauw
, Saša Radomirović
, Patrick Schweitzer

Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

192 Citations (Scopus)

Abstract

We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we show how to evaluate attributes.

Original language	English
Title of host publication	Formal Aspects of Security and Trust
Subtitle of host publication	7th International Workshop, FAST 2010, Revised Selected Papers
Editors	Pierpaolo Degano, Sandro Etalle, Joshua Guttman
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	80-95
Number of pages	16
ISBN (Electronic)	9783642197512
ISBN (Print)	9783642197505
DOIs	https://doi.org/10.1007/978-3-642-19751-2_6
Publication status	Published - 2011
Event	7th International Workshop on Formal Aspects of Security and Trust - Auditorium of the CNR Research Area, Pisa, Italy Duration: 16 Sept 2010 → 17 Sept 2010 http://www.iit.cnr.it/FAST2010/ (Link to Workshop website)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6561
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	7th International Workshop on Formal Aspects of Security and Trust
Abbreviated title	FAST 2010
Country/Territory	Italy
City	Pisa
Period	16/09/10 → 17/09/10
Other	Workshop is co-located with The 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM2010)
Internet address	http://www.iit.cnr.it/FAST2010/ (Link to Workshop website)

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-19751-2_6

Cite this

Kordy, B., Mauw, S., Radomirović, S., & Schweitzer, P. (2011). Foundations of Attack–Defense Trees. In P. Degano, S. Etalle, & J. Guttman (Eds.), Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Revised Selected Papers (pp. 80-95). (Lecture Notes in Computer Science ; Vol. 6561). Springer Verlag. https://doi.org/10.1007/978-3-642-19751-2_6

@inproceedings{9f2204ec32074b769e7487eaae012be9,

title = "Foundations of Attack–Defense Trees",

abstract = "We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we show how to evaluate attributes.",

author = "Barbara Kordy and Sjouke Mauw and Sa{\v s}a Radomirovi{\'c} and Patrick Schweitzer",

note = "B. Kordy was supported by the grant No. C08/IS/26from FNR Luxembourg. P. Schweitzer was supported by the grant No. PHD−09−167 from FNR Luxembourg.; 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010 ; Conference date: 16-09-2010 Through 17-09-2010",

year = "2011",

doi = "10.1007/978-3-642-19751-2\_6",

language = "English",

isbn = "9783642197505",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "80--95",

editor = "Degano, \{Pierpaolo \} and Etalle, \{Sandro \} and \{Guttman \}, \{Joshua \}",

booktitle = "Formal Aspects of Security and Trust",

address = "Germany",

url = "http://www.iit.cnr.it/FAST2010/",

}

Kordy, B, Mauw, S, Radomirović, S & Schweitzer, P 2011, Foundations of Attack–Defense Trees. in P Degano, S Etalle & J Guttman (eds), Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Revised Selected Papers. Lecture Notes in Computer Science , vol. 6561, Springer Verlag, Berlin, pp. 80-95, 7th International Workshop on Formal Aspects of Security and Trust, Pisa, Italy, 16/09/10. https://doi.org/10.1007/978-3-642-19751-2_6

Foundations of Attack–Defense Trees. / Kordy, Barbara; Mauw, Sjouke; Radomirović, Saša et al.
Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Revised Selected Papers. ed. / Pierpaolo Degano; Sandro Etalle; Joshua Guttman . Berlin: Springer Verlag, 2011. p. 80-95 (Lecture Notes in Computer Science ; Vol. 6561).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Foundations of Attack–Defense Trees

AU - Kordy, Barbara

AU - Mauw, Sjouke

AU - Radomirović, Saša

AU - Schweitzer, Patrick

N1 - B. Kordy was supported by the grant No. C08/IS/26from FNR Luxembourg. P. Schweitzer was supported by the grant No. PHD−09−167 from FNR Luxembourg.

PY - 2011

Y1 - 2011

N2 - We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we show how to evaluate attributes.

AB - We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we show how to evaluate attributes.

UR - https://www.scopus.com/pages/publications/79952577498

U2 - 10.1007/978-3-642-19751-2_6

DO - 10.1007/978-3-642-19751-2_6

M3 - Conference contribution

AN - SCOPUS:79952577498

SN - 9783642197505

T3 - Lecture Notes in Computer Science

SP - 80

EP - 95

BT - Formal Aspects of Security and Trust

A2 - Degano, Pierpaolo

A2 - Etalle, Sandro

A2 - Guttman , Joshua

PB - Springer Verlag

CY - Berlin

T2 - 7th International Workshop on Formal Aspects of Security and Trust

Y2 - 16 September 2010 through 17 September 2010

ER -

Foundations of Attack–Defense Trees

Abstract

Publication series

Workshop

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this