微支付协议Millicent的改进与模型检测

• 作者: 周璇 汪学明
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 微支付 不可否认性 公平性 模型检测 协议分析
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 22-26
• 页数: 5页
• 分类号: TP393
• 字数: 3705字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2012.12.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪学明	贵州大学计算机科学与信息学院	71	197	7.0	8.0
2	周璇	贵州大学计算机科学与信息学院	4	1	1.0	1.0