8 citations · 13 across the 6 of their papers we have counts for
6 papers
Proceedings 4th International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu, Sjouke Mauw
The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on Jun…
Comparing Distance Bounding Protocols: a Critical Mission Supported by Decision Theory
Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua
Distance bounding protocols are security countermeasures designed to thwart relay attacks. Such attacks consist in relaying messages exchanged between two parties, making them beli…
Attack Trees with Sequential Conjunction
Ravi Jhawar, Barbara Kordy, Sjouke Mauw +2
We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity…
Generalizing Multi-party Contract Signing
Sjouke Mauw, Sasa Radomirovic
Multi-party contract signing (MPCS) protocols allow a group of signers to exchange signatures on a predefined contract. Previous approaches considered either completely linear prot…
Quantitative Questions on Attack-Defense Trees
Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
Attack-defense trees are a novel methodology for graphical security modeling and assessment. The methodology includes visual, intuitive tree models whose analysis is supported by a…
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…