移动微支付协议Payword的改进与形式化分析

摘要：

针对移动微支付协议Payword不满足不可否认性的问题,提出了改进的移动微支付协议Payword.相比Payowrd,改进的Payword具有更好的安全性和公平性.为验证改进的移动微支付协议Payword能否满足不可否认性,对SVO逻辑进行扩展,并运用扩展后的SVO逻辑对改进的Payword微支付协议进行形式化分析.分析结果表明,改进后的微支付协议满足不可否认性.

关键词：移动支付、微支付协议、SVO逻辑、协议分析、不可否认性

所属期刊栏目：32

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金项目60963023;贵州大学引进人才科研基金项目005

在线出版日期：2011-12-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2572-2574,2579