10.3321/j.issn:1002-8331.2006.33.015
一种移动支付协议的模型检验分析
给出了移动支付协议的一种有限状态机建模方法,该方法在传统支付协议的基础上充分考察了移动环境中移动装置和无线网络的特点,所建立的模型具有全面、准确、直观、简洁的特点.以一个典型的移动支付协议KSL为例,对该协议进行有限状态机建模,并通过模型检验工具对其公平性进行了分析验证,指出了其缺陷并进行了改进,从而表明了方法的有效性.该方法具有一定的通用性,以其为基础,可对其他类型的移动电子商务协议进行模型检验分析.
移动支付协议、模型检验、公平性
42
TP311(计算技术、计算机技术)
2006-12-18(万方平台首次上网日期,不代表论文的发表时间)
共5页
46-49,52