Title :
Formal security analysis of NFC M-coupon protocols using Casper/FDR
Author :
Alshehri, Ali ; Briffa, Johann A. ; Schneider, Steve ; Wesemeyer, Stephan
Author_Institution :
Dept. of Computing, University of Surrey Guildford GU2 7XH, England
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 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.
Keywords :
Authentication; Cryptography; Mobile communication; Nickel; Protocols; Standards; Casper; FDR; M-coupon; NFC; formal methods; model checking;
Conference_Titel :
Near Field Communication (NFC), 2013 5th International Workshop on
Conference_Location :
Zurich, Switzerland
Print_ISBN :
978-1-4673-4837-9
DOI :
10.1109/NFC.2013.6482439
