论文研究-轻量级移动支付协议LMPP的安全性分析与改进.pdf

【文件属性】：
文件名称：论文研究-轻量级移动支付协议LMPP的安全性分析与改进.pdf
文件大小：732KB
文件格式：PDF
更新时间：2022-10-03 02:04:19
论文研究 无线网络以及各种智能设备的兴起，使得移动支付越来越重要，因此必须采用安全的轻量级移动支付协议（Lightweight Mobile Payment Protocol，LMPP）来保障移动支付的顺利进行。针对资源有限的移动设备及环境受限的支付场景，选取以移动运营商（Mobile Network Operator，MNO）为价值链的轻量级的隐私保护移动支付协议为研究对象。采用SVO逻辑形式化分析协议，证明协议不满足公平性。并对LMPP协议其他安全属性进行分析，针对协议不满足公平性的部分做出改进。同时运用SPIN模型检测工具进行检测，验证结果表明，改进后的协议满足公平性。