Improvement and Model Checking of Micro Payment Protocol Millicent

为解决传统移动微支付协议因注重效率而导致协议存在安全隐患的缺陷,根据移动电子商务 所应具备的安全性,通过对移动微支付协议Millicent的研究,发现其存在严重的用户欺骗问题。针对该 协议存在的不足,增加商家与用户间的确认过程,使协议具有不可否认性。最后,对改进的移动微支付协 议Millicent建模并使用SMV模型检测工具进行分析。分析结果表明,改进的协议除具有原协议的保密 性和认证性外还具有不否认性和公平性,相比原协议更优越。