A formal framework for security analysis of NFC mobile coupon protocols
- Submitting institution
-
The University of Surrey
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 9006217_1
- Type
- D - Journal article
- DOI
-
10.3233/JCS-150531
- Title of journal
- Journal of Computer Security
- Article number
- -
- First page
- 685
- Volume
- 23
- Issue
- 6
- ISSN
- 1875-8924
- Open access status
- Out of scope for open access requirements
- Month of publication
- -
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
-
- Research group(s)
-
-
- Citation count
- 3
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper provides the first application of the FDR/Casper protocol analysis tool to the NFC domain and in the specific context of NFC threat models. This work is important as our earlier work had identified potential security issues with the real-world usage of NFC, and so a next step was to establish the extent to which these protocols do meet their security requirements as achieved in this paper. The rigorous applicability of this approach has been demonstrated through its application to real case studies .
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -