Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Security analysis of NFC relay attacks using probabilistic model checking
KTH, Skolan för elektro- och systemteknik (EES), Kommunikationsnät.
2014 (Engelska)Ingår i: IWCMC 2014 - 10th International Wireless Communications and Mobile Computing Conference, IEEE , 2014, 524-529 s.Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Near Field Communication (NFC) is a short-ranged wireless communication technology envisioned to support a large gamut of smart-device applications, such as payment and ticketing applications. Two NFC-enabled devices need to be in close proximity, typically less than 10 cm apart, in order to communicate. However, adversaries can use a secret and fast communication channel to relay data between two distant victim NFC-enabled devices and thus, force NFC link between them. Relay attacks may have tremendous consequences for security as they can bypass the NFC requirement for short range communications and even worse, they are cheap and easy to launch. Therefore, it is important to evaluate security of NFC applications and countermeasures to support the emergence of this new technology. In this work we present a probabilistic model checking approach to verify resiliency of NFC protocol against relay attacks based on protocol, channel and application specific parameters that affect the successfulness of the attack. We perform our formal analysis within the probabilistic model checking environment PRISM to support automated security analysis of NFC applications. Finally, we demonstrate how the attack can be thwarted and we discuss the successfulness of potential countermeasures.

Ort, förlag, år, upplaga, sidor
IEEE , 2014. 524-529 s.
Nyckelord [en]
Near Field Communication, probabilistic model checking, relay attack, security analysis
Nationell ämneskategori
Kommunikationssystem
Identifikatorer
URN: urn:nbn:se:kth:diva-157959DOI: 10.1109/IWCMC.2014.6906411ISI: 000361140000089Scopus ID: 2-s2.0-84908611758ISBN: 978-147990959-9 (tryckt)OAI: oai:DiVA.org:kth-157959DiVA: diva2:773607
Konferens
10th International Wireless Communications and Mobile Computing Conference, IWCMC 2014, 4 August 2014 through 8 August 2014, Nicosia, Cyprus
Anmärkning

QC 20141219

Tillgänglig från: 2014-12-19 Skapad: 2014-12-18 Senast uppdaterad: 2015-10-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Alexiou, Nikolaos
Av organisationen
Kommunikationsnät
Kommunikationssystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

Altmetricpoäng

Totalt: 570 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf