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

Ali Alshehri; Johann A. Briffa; Steve Schneider; Stephan Wesemeyer; IEEE

Back

Conference proceeding

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

Ali Alshehri, Johann A. Briffa, Steve Schneider, Stephan Wesemeyer and IEEE

2013 5TH INTERNATIONAL WORKSHOP ON NEAR FIELD COMMUNICATION (NFC), pp.25-30

Proceedings International Workshop on Near Field Communication

01/01/2013

Abstract

Engineering

Engineering, Electrical & Electronic

Science & Technology

Technology

Telecommunications

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

Metrics

1 Record Views

Details

Title: Formal Security Analysis of NFC M-coupon Protocols using Casper/FDR
Creators - without role: Ali Alshehri - University of Surrey
Johann A. Briffa - University of Surrey
Steve Schneider - University of Surrey
Stephan Wesemeyer - University of Surrey
IEEE
Publication Details: 2013 5TH INTERNATIONAL WORKSHOP ON NEAR FIELD COMMUNICATION (NFC), pp.25-30
Series: Proceedings International Workshop on Near Field Communication
Publisher: IEEE
Number of pages: 6
Identifiers: 9923494408331
Academic Unit: King Khalid University
Language: English
Resource Type: Conference proceeding