@inproceedings{681c1528bacf410aacf73a2d4d5e880d,
title = "Derailing attacks",
abstract = "We introduce derailing attacks, a class of blocking attacks on security protocols. As opposed to blunt, low-level attacks such as persistent jamming, derailing only requires a minimal, application-level intervention from the attacker. We give a simple definition of derailing attacks in an abstract formal model, and demonstrate that derailing attacks are viable in practice through examples from two application domains, namely radio-frequency identification and fair exchange protocols.",
keywords = "Availability, Fair exchange, Formal models, RFID",
author = "Sa{\v s}a Radomirov{\'i}c and Dashti, {Mohammad Torabi}",
year = "2015",
doi = "10.1007/978-3-319-26096-9_5",
language = "English",
isbn = "9783319260952",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "41--46",
editor = "Frank Stajano and Jonathan Anderson and Bruce Christianson and James Malcolm and Petr {\v S}venda and Vashek Maty{\'a}{\v s}",
booktitle = "Security Protocols XXIII",
note = "23rd International Workshop on Security Protocols 2015 ; Conference date: 31-03-2015 Through 02-04-2015",
}