University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Formal Security Analysis of NFC M-coupon Protocols using Casper/FDR

Alshehri, AA, Briffa, JA, Schneider, SA and Wesemeyer, S (2013) Formal Security Analysis of NFC M-coupon Protocols using Casper/FDR In: NFC 2013 : 5th International Workshop On Near Field Communication, 2013-02-05 - 2013-02-05, Zurich.

[img]
Preview
PDF
Mcoupon paper( encryption based).pdf - Accepted version Manuscript
Available under License : See the attached licence file.

Download (956kB)
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf

Download (33kB)

Abstract

Near field communication (NFC) is a standard-based, radio frequency (RF), wireless communication technology that allows data to be exchanged between devices that are less than 20 cm apart. NFC security protocols require formal security analysis before massive adoptions, in order to check whether these protocols meet its requirements and goals. In this paper we formally analyse NFC-based mobile coupon protocols using formal methods (Casper/FDR). We find an attack against the advanced protocol, and then we provide a solution that addresses the vulnerability formally.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmailORCID
Alshehri, AAUNSPECIFIEDUNSPECIFIED
Briffa, JAUNSPECIFIEDUNSPECIFIED
Schneider, SAUNSPECIFIEDUNSPECIFIED
Wesemeyer, SUNSPECIFIEDUNSPECIFIED
Date : 5 February 2013
Contributors :
ContributionNameEmailORCID
PublisherIEEE, UNSPECIFIEDUNSPECIFIED
Additional Information : © 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Depositing User : Symplectic Elements
Date Deposited : 13 Feb 2013 10:03
Last Modified : 23 Sep 2013 19:57
URI: http://epubs.surrey.ac.uk/id/eprint/745433

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800