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

A Alshehri; S Schneider; A Francillon; P Rohatgi

doi:10.1007/978-3-319-08302-5_11

Back

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

Journal article

Open access

Peer reviewed

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

A Alshehri, S Schneider, A Francillon and P Rohatgi

SMART CARD RESEARCH AND ADVANCED APPLICATIONS (CARDIS 2013), Vol.8419, pp.152-167

01/01/2014

DOI: https://doi.org/10.1007/978-3-319-08302-5_11

Abstract

Science & Technology

Technology

Computer Science

Information Systems

Computer Science

Theory & Methods

Computer Science

NFC

M-coupon

CasperFDR

Formal verification

Protocol security

Files and links (3)

pdf

cardis2013_submission_61.22 MBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1007/978-3-319-08302-5_11View

Published (Version of record)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000348357900011&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

Details

Title: Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol
Creators: A Alshehri
S Schneider
A Francillon
P Rohatgi
Publication Details: SMART CARD RESEARCH AND ADVANCED APPLICATIONS (CARDIS 2013), Vol.8419, pp.152-167
Publisher: SPRINGER-VERLAG BERLIN
Publication Date: 01/01/2014
Identifiers: 99511878602346; WOS:000348357900011
Academic Unit: Department of Computer Science
Language: English
Resource Type: Journal article

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

Abstract

Files and links (3)

Metrics

Details

Usage Policy