On Defendability of Security Properties
Jamroga, Wojciech, Melissen, Matthijs, Schnoor, Henning
Published in Electronic proceedings in theoretical computer science (01.04.2014)
Published in Electronic proceedings in theoretical computer science (01.04.2014)
Get full text
Journal Article
Attack-defense trees and two-player binary zero-sum extensive form games are equivalent
Kordy, Barbara, Mauw, Sjouke, Melissen, Matthijs, Schweitzer, Patrick
Published in Proceedings of the First international conference on Decision and game theory for security (22.11.2010)
Published in Proceedings of the First international conference on Decision and game theory for security (22.11.2010)
Get full text
Conference Proceeding
Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent - Technical Report with Proofs
Kordy, Barbara, Mauw, Sjouke, Melissen, Matthijs, Schweitzer, Patrick
Published in arXiv.org (04.05.2011)
Published in arXiv.org (04.05.2011)
Get full text
Paper
Journal Article