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

Improvement and formal analysis of mobile micro-payment protocol Payword

作　　者：周璇[1] 汪学明[1] 

机构地区：[1]贵州大学计算机科学与信息学院,贵州贵阳550025

出　　处：《计算机工程与设计》2011年第8期2572-2574,2579,共4页Computer Engineering and Design

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

摘　　要：针对移动微支付协议Payword不满足不可否认性的问题,提出了改进的移动微支付协议Payword。相比Payowrd,改进的Payword具有更好的安全性和公平性。为验证改进的移动微支付协议Payword能否满足不可否认性,对SVO逻辑进行扩展,并运用扩展后的SVO逻辑对改进的Payword微支付协议进行形式化分析。分析结果表明,改进后的微支付协议满足不可否认性。To overcome shortcoming that mobile micro payment protocol Payword dissatisfies non-repudiation, improved mobile micro payment protocol Payword is proposed. Comparing with Payword, improved Payword has better security and fairness. In order to validate improved Payword micro-payment protocol whether meeting non-repudiation, SVO logic is expanded and improved. Payword micro-payment protocol is formally analyzed and proved with expanded SVO logic. The analysis results show that the improved micro- payment protocol satisfies non-repudiation.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]