412 citations · 415 across the 5 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CR2015
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…
cs.CR2015
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…