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