Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol
Tools
Tools
Tools
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.
|
Text
cardis2013_submission_6.pdf - ["content_typename_UNSPECIFIED" not defined] Available under License : See the attached licence file. Download (1MB) | Preview |
|
|
Text (licence)
SRI_deposit_agreement.pdf Available under License : See the attached licence file. Download (33kB) | Preview |
Official URL: http://dx.doi.org/10.1007/978-3-319-08302-5_11
| Item Type: | Article | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Divisions : | Faculty of Engineering and Physical Sciences > Computing Science | |||||||||||||||
| Authors : |
|
|||||||||||||||
| Date : | 1 January 2014 | |||||||||||||||
| DOI : | 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 : | 31 Oct 2017 16:52 | |||||||||||||||
| URI: | http://epubs.surrey.ac.uk/id/eprint/805901 |
Actions (login required)
 |
View Item |
Downloads
Downloads per month over past year