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

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