Name
Abstract | ||
|---|---|---|
The Near Filed Communication (NFC) is widely used on mobile devices and make it possible to take advantage of NFC system to complete mobile payment. But with the development of NFC, its problem are increasingly exposed, especially the security and privacy of authentication. Logic of events is a formal method to describe the protocol state transition and algorithm in concurrent and distributed systems, which can be used to prove the security of network protocols. Based on logic of events, we propose migration rule and derive inheritability to reduce redundancy and complexity of protocol analysis procedure, and improve efficiency of protocol analysis. We study the KerNeeS protocol which providing mutual authentication between POS and NFC phone, and conclude that the protocol can guarantee authentication between entities involved in the payment for secure payment transactions. The logic of events can be applied to the formal analysis of similar mobile payment protocols. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1007/978-981-13-2712-4_5 | Communications in Computer and Information Science |
Keywords | DocType | Volume |
NFC,Mobile payment protocol,Logic of events,Mutual authentication | Conference | 882 |
ISSN | Citations | PageRank |
1865-0929 | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ke Yang | 1 | 0 | 1.35 |
| Xiao Mei-hua | 2 | 1 | 1.39 |
| Jia Chen | 3 | 0 | 0.68 |