一种移动支付协议的模型检验分析

• 作者: 刘霞 古天龙 郭云川
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 移动支付协议 模型检验 公平性
• 年，卷（期）: 2006,（33）
• 所属期刊栏目: 学术探讨
• 页码范围: 46-49,52
• 页数: 5页
• 分类号: TP311
• 字数: 4727字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.33.015

摘要

给出了移动支付协议的一种有限状态机建模方法,该方法在传统支付协议的基础上充分考察了移动环境中移动装置和无线网络的特点,所建立的模型具有全面、准确、直观、简洁的特点.以一个典型的移动支付协议KSL为例,对该协议进行有限状态机建模,并通过模型检验工具对其公平性进行了分析验证,指出了其缺陷并进行了改进,从而表明了方法的有效性.该方法具有一定的通用性,以其为基础,可对其他类型的移动电子商务协议进行模型检验分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0
3	刘霞	桂林电子工业学院计算机系	7	29	4.0	5.0