17 citations · 19 across the 7 of their papers we have counts for
Showing 2015 · cs.CRShow all
2 papers · 2 filters
cs.CR2015★ 2 cited
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…
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…