计算机工程与应用2019，Vol.55Issue(16)：88-93,122,7.DOI:10.3778/j.issn.1002-8331.1807-0201
轻量级移动支付协议LMPP的安全性分析与改进
Security Analysis and Improvement of Lightweight Mobile Payment Protocol LMPP
摘要
Abstract
With the rise of wireless network and various intelligent devices, mobile payment becomes more and more impor-tant, so it is necessary to adopt a secure Lightweight Mobile Payment Protocol(LMPP)to ensure the mobile payment going smoothly. For mobile devices with limited resources and payment scenarios with limited environment, the LMPP, a lightweight privacy protection mobile payment protocol with Mobile Network Operator(MNO)as the value chain, is selected as the research object. The SVO logic is chosen to analyze the protocol and prove that the protocol does not meet the fair-ness. And the other secure attributes of the LMPP are analyzed and the part of the protocol which does not satisfy the fair-ness is improved. Meanwhile, the SPIN model checking tool is used to detect the improved protocol. The results show that the fairness is satisfied in this improved protocol.关键词
轻量级移动支付协议(LMPP)/移动运营商(MNO)/SVO逻辑/公平性/SPINKey words
Lightweight Mobile Payment Protocol(LMPP)/ Mobile Network Operator(MNO)/ SVO logic/ fairness/ SPIN分类
信息技术与安全科学引用本文复制引用
杨文霞,王峥,李娜,马建芬..轻量级移动支付协议LMPP的安全性分析与改进[J].计算机工程与应用,2019,55(16):88-93,122,7.基金项目
山西省重点研发计划国际合作项目(No.201603D421013). （No.201603D421013）
