ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
31
views
24
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,726
similar
All similar
Record
: found
Abstract
: found
Book Chapter
: found
Is Open Access
Principles of Security and Trust
On Quantitative Analysis of Attack–Defense Trees with Repeated Labels
other
Author(s):
Barbara Kordy
,
Wojciech Wideł
Publication date
(Online):
April 14 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Download
XML
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Core Readings in Statistical Mediation Analysis
Most cited references
24
Record
: found
Abstract
: not found
Article
: not found
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
Mariëlle Stoelinga
,
Enno Ruijters
(2015)
0
comments
Cited
42
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
DAG-based attack and defense modeling: Don’t miss the forest for the attack trees
Barbara Kordy
,
Ludovic Piètre-Cambacédès
,
Patrick Schweitzer
(2014)
0
comments
Cited
28
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Foundations of Attack Trees
Sjouke Mauw
,
Martijn Oostdijk
(2006)
0
comments
Cited
27
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
April 14 2018
Pages
: 325-346
DOI:
10.1007/978-3-319-89722-6_14
SO-VID:
7d07b784-b2d8-49a6-b431-f5f63bb3daf3
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
What’s the Over/Under? Probabilistic Bounds on Information Leakage
pp. 28
Secure Information Release in Timed Automata
pp. 53
Compositional Non-interference for Concurrent Programs via Separation and Framing
pp. 79
The Meaning of Memory Safety
pp. 109
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels
pp. 134
Leakage and Protocol Composition in a Game-Theoretic Perspective
pp. 160
Equivalence Properties by Typing in Cryptographic Branching Protocols
pp. 188
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience
pp. 217
SoK: Unraveling Bitcoin Smart Contracts
pp. 270
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
pp. 278
UniTraX: Protecting Data Privacy with Discoverable Biases
pp. 303
Transcompiling Firewalls
pp. 325
On Quantitative Analysis of Attack–Defense Trees with Repeated Labels
Similar content
2,726
Molecular Signatures in Arabidopsis thaliana in Response to Insect Attack and Bacterial Infection
Authors:
Pankaj Barah
,
Per Winge
,
Anna Kusnierczyk
…
Landscape predictors of wolf attacks on bear-hunting dogs in Wisconsin, USA
Authors:
Erik R. Olson
,
Adrian Treves
,
Adrian Wydeven
…
Prey attack, food preference and growth in juveniles of the edible muricid snail, Chorus giganteus
Authors:
RM Gutierrez
,
CS Gallardo
See all similar
Cited by
1
Parametric analyses of attack-fault trees
Authors:
Étienne André
,
Didier Lime
,
Mathias Ramparison
…
See all cited by