微支付协议Millicent的改进与模型检测
【出 处】:《
计算机工程与科学
》
CSCD
2012年第34卷第12期 22-26页,共5页
【作 者】:
周璇
;
汪学明
【摘 要】
为解决传统移动微支付协议因注重效率而导致协议存在安全隐患的缺陷,根据移动电子商务所应具备的安全性,通过对移动微支付协议Millicent的研究,发现其存在严重的用户欺骗问题。针对该协议存在的不足,增加商家与用户间的确认过程,使协议具有不可否认性。最后,对改进的移动微支付协议Millicent建模并使用SMV模型检测工具进行分析。分析结果表明,改进的协议除具有原协议的保密性和认证性外还具有不否认性和公平性,相比原协议更优越。
相关热词搜索:
上一篇:《计算机工程与科学》征文通知
下一篇:栅栏覆盖最大化生存周期调度算法