轻量级移动支付协议LMPP的安全性分析与改进

• 作者: 李娜 杨文霞 王峥 马建芬
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 轻量级移动支付协议(LMPP) 移动运营商(MNO) SVO逻辑 公平性 SPIN
• 年，卷（期）: 2019,（16）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 88-93,122
• 页数: 7页
• 分类号: TP393.08
• 字数: 4126字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1807-0201

摘要

无线网络以及各种智能设备的兴起,使得移动支付越来越重要,因此必须采用安全的轻量级移动支付协议(Lightweight Mobile Payment Protocol,LMPP)来保障移动支付的顺利进行.针对资源有限的移动设备及环境受限的支付场景,选取以移动运营商(Mobile Network Operator,MNO)为价值链的轻量级的隐私保护移动支付协议为研究对象.采用SVO逻辑形式化分析协议,证明协议不满足公平性.并对LMPP协议其他安全属性进行分析,针对协议不满足公平性的部分做出改进.同时运用SPIN模型检测工具进行检测,验证结果表明,改进后的协议满足公平性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建芬	太原理工大学信息与计算机学院	53	202	8.0	11.0
2	王峥	太原理工大学信息与计算机学院	13	59	5.0	7.0
3	李娜		10	11	2.0	3.0
4	杨文霞	太原理工大学信息与计算机学院	1	1	1.0	1.0