Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/100458| Title: | Formal security analysis of NFC M-coupon protocols using Casper/FDR |
| Authors: | Alshehri, Ali Briffa, Johann A. Schneider, Steve Wesemeyer, Stephan |
| Keywords: | Near-field communication Wireless communication systems Formal methods (Computer science) Computer network protocols |
| Issue Date: | 2013 |
| Publisher: | IEEE |
| Citation: | Alshehri, A., Briffa, J. A., Schneider, S., & Wesemeyer, S. (2013, February). Formal security analysis of NFC M-coupon protocols using Casper/FDR. In 2013 5th International Workshop on Near Field Communication (NFC), Zurich, Switzerland. 1-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. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/100458 |
| Appears in Collections: | Scholarly Works - FacICTCCE |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Formal_security_analysis_of_NFC_M_coupon_protocols_using_CasperFDR_2013.pdf Restricted Access | 954.45 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.