Barbara Kordy - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2018

Guided Design of Attack Trees: A System-Based ApproachMaxime Audinot, Sophie Pinchinat, Barbara Kordy. csfw 2018: 61-75 [doi]

On Quantitative Analysis of Attack-Defense Trees with Repeated LabelsBarbara Kordy, Wojciech Widel. post 2018: 325-346 [doi]

2017

2016

SPTool - Equivalence Checker for \mathtt SAND Attack TreesBarbara Kordy, Piotr Kordy, Yoann van den Boom. crisis 2017: 105-113 [doi]

Probabilistic reasoning with graphical security modelsBarbara Kordy, Marc Pouly, Patrick Schweitzer. isci, 342:111-131, 2016. [doi]

2015

Attack Trees with Sequential ConjunctionRavi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua. isecs 2015: 339-353 [doi]

2014

DAG-based attack and defense modeling: Don't miss the forest for the attack treesBarbara Kordy, Ludovic Piètre-Cambacédès, Patrick Schweitzer. csr, 13-14:1-38, 2014. [doi]

A Probabilistic Framework for Security Scenarios with Dependent ActionsBarbara Kordy, Marc Pouly, Patrick Schweitzer. IFM 2014: 256-271 [doi]

Attack-defense treesBarbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer. logcom, 24(1):55-87, 2014. [doi]

2013

ADTool: Security Analysis with Attack-Defense TreesBarbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer. qest 2013: 173-176 [doi]

2012

Attribute Decoration of Attack-Defense TreesAlessandra Bagnato, Barbara Kordy, Per Håkon Meland, Patrick Schweitzer. ijsse, 3(2):1-35, 2012. [doi]

Constructing Optimistic Multi-party Contract Signing ProtocolsBarbara Kordy, Sasa Radomirovic. csfw 2012: 215-229 [doi]

Quantitative Questions on Attack-Defense TreesBarbara Kordy, Sjouke Mauw, Patrick Schweitzer. icisc 2013: 49-64 [doi]

2011

Computational Aspects of Attack-Defense TreesBarbara Kordy, Marc Pouly, Patrick Schweitzer. iis 2012: 103-116 [doi]

2010

Foundations of Attack-Defense TreesBarbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer. ifip1-7 2011: 80-95 [doi]

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are EquivalentBarbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer. GameSec 2010: 245-256 [doi]

2008

A Rewrite Approach for Pattern ContainmentBarbara Kordy. WADT 2009: 236-250 [doi]

Sign in or sign up to see more results.

runs on WebDSL