University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol

Alshehri, A, Schneider, S, Francillon, A and Rohatgi, P (2014) Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol SMART CARD RESEARCH AND ADVANCED APPLICATIONS (CARDIS 2013), 8419. pp. 152-167.

[img]
Preview
Text
cardis2013_submission_6.pdf - ["content_typename_UNSPECIFIED" not defined]
Available under License : See the attached licence file.

Download (1MB) | Preview
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf
Available under License : See the attached licence file.

Download (33kB) | Preview
Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmailORCID
Alshehri, AUNSPECIFIEDUNSPECIFIED
Schneider, SUNSPECIFIEDUNSPECIFIED
Francillon, AUNSPECIFIEDUNSPECIFIED
Rohatgi, PUNSPECIFIEDUNSPECIFIED
Date : 1 January 2014
Identification Number : 10.1007/978-3-319-08302-5_11
Uncontrolled Keywords : Science & Technology, Technology, Computer Science, Information Systems, Computer Science, Theory & Methods, Computer Science, NFC, M-coupon, CasperFDR, Formal verification, Protocol security
Related URLs :
Additional Information : The original publication is available at http://www.springerlink.com
Depositing User : Symplectic Elements
Date Deposited : 09 Sep 2014 11:07
Last Modified : 01 Mar 2015 02:36
URI: http://epubs.surrey.ac.uk/id/eprint/805901

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800