Derailing Attacks

Saša Radomirovíc; Mohammad Torabi Dashti

doi:10.1007/978-3-319-26096-9_5

Derailing Attacks

Saša Radomirovíc (Lead / Corresponding author)
, Mohammad Torabi Dashti

Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

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.

Original language	English
Title of host publication	Security Protocols XXIII
Subtitle of host publication	23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers
Editors	Bruce Christianson, Petr Švenda, Vashek Matyáš, James Malcolm, Frank Stajano, Jonathan Anderson
Place of Publication	Switzerland
Publisher	Springer International Publishing
Pages	41-46
Number of pages	6
ISBN (Electronic)	9783319260969
ISBN (Print)	9783319260952
DOIs	https://doi.org/10.1007/978-3-319-26096-9_5
Publication status	Published - 2015
Event	23rd International Workshop on Security Protocols: “Information Security in Fiction and in Fact” - Sidney Sussex College, Cambridge, United Kingdom Duration: 31 Mar 2015 → 2 Apr 2015 http://homepages.herts.ac.uk/~spw/ (Link to Workshop details)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9379
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	23rd International Workshop on Security Protocols
Country/Territory	United Kingdom
City	Cambridge
Period	31/03/15 → 2/04/15
Internet address	http://homepages.herts.ac.uk/~spw/ (Link to Workshop details)

Keywords

Availability
Fair exchange
Formal models
RFID

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-26096-9_5

Cite this

Radomirovíc, S., & Dashti, M. T. (2015). Derailing Attacks. In B. Christianson, P. Švenda, V. Matyáš, J. Malcolm, F. Stajano, & J. Anderson (Eds.), Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers (pp. 41-46). (Lecture Notes in Computer Science ; Vol. 9379). Springer International Publishing. https://doi.org/10.1007/978-3-319-26096-9_5

Radomirovíc, Saša ; Dashti, Mohammad Torabi. / Derailing Attacks. Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. editor / Bruce Christianson ; Petr Švenda ; Vashek Matyáš ; James Malcolm ; Frank Stajano ; Jonathan Anderson. Switzerland : Springer International Publishing, 2015. pp. 41-46 (Lecture Notes in Computer Science ).

@inproceedings{78719e967bd543e28c85f876de239a50,

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\}",

note = "No funding info; 23rd International Workshop on Security Protocols : “Information Security in Fiction and in Fact” ; Conference date: 31-03-2015 Through 02-04-2015",

year = "2015",

doi = "10.1007/978-3-319-26096-9\_5",

language = "English",

isbn = "9783319260952",

series = "Lecture Notes in Computer Science ",

publisher = "Springer International Publishing",

pages = "41--46",

editor = "Christianson, \{Bruce \} and {\v S}venda, \{Petr \} and Maty{\'a}{\v s}, \{Vashek \} and Malcolm, \{James \} and Stajano, \{Frank \} and Anderson, \{Jonathan \}",

booktitle = "Security Protocols XXIII",

address = "Switzerland",

url = "http://homepages.herts.ac.uk/\textasciitilde{}spw/",

}

Radomirovíc, S & Dashti, MT 2015, Derailing Attacks. in B Christianson, P Švenda, V Matyáš, J Malcolm, F Stajano & J Anderson (eds), Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. Lecture Notes in Computer Science , vol. 9379, Springer International Publishing, Switzerland, pp. 41-46, 23rd International Workshop on Security Protocols, Cambridge, United Kingdom, 31/03/15. https://doi.org/10.1007/978-3-319-26096-9_5

Derailing Attacks. / Radomirovíc, Saša (Lead / Corresponding author); Dashti, Mohammad Torabi.
Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. ed. / Bruce Christianson; Petr Švenda; Vashek Matyáš; James Malcolm; Frank Stajano; Jonathan Anderson. Switzerland: Springer International Publishing, 2015. p. 41-46 (Lecture Notes in Computer Science ; Vol. 9379).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Derailing Attacks

AU - Radomirovíc, Saša

AU - Dashti, Mohammad Torabi

N1 - No funding info

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Availability

KW - Fair exchange

KW - Formal models

KW - RFID

UR - https://www.scopus.com/pages/publications/84952775141

U2 - 10.1007/978-3-319-26096-9_5

DO - 10.1007/978-3-319-26096-9_5

M3 - Conference contribution

AN - SCOPUS:84952775141

SN - 9783319260952

T3 - Lecture Notes in Computer Science

SP - 41

EP - 46

BT - Security Protocols XXIII

A2 - Christianson, Bruce

A2 - Švenda, Petr

A2 - Matyáš, Vashek

A2 - Malcolm, James

A2 - Stajano, Frank

A2 - Anderson, Jonathan

PB - Springer International Publishing

CY - Switzerland

T2 - 23rd International Workshop on Security Protocols

Y2 - 31 March 2015 through 2 April 2015

ER -

Radomirovíc S, Dashti MT. Derailing Attacks. In Christianson B, Švenda P, Matyáš V, Malcolm J, Stajano F, Anderson J, editors, Security Protocols XXIII : 23rd International Workshop Cambridge, UK, March 31 – April 2, 2015 Revised Selected Papers. Switzerland: Springer International Publishing. 2015. p. 41-46. (Lecture Notes in Computer Science ). Epub 2015 Nov 25. doi: 10.1007/978-3-319-26096-9_5

Derailing Attacks

Abstract

Publication series

Workshop

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this