• DocumentCode
    1616226
  • 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
  • fYear
    2013
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Near Field Communication (NFC), 2013 5th International Workshop on
  • Conference_Location
    Zurich, Switzerland
  • Print_ISBN
    978-1-4673-4837-9
  • Type

    conf

  • DOI
    10.1109/NFC.2013.6482439
  • Filename
    6482439
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1616226