移动微支付协议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 S VO logic. The analysis results show that the improved micro-payment protocol satisfies non-repudiation.%针对移动微支付协议Payword不满足不可否认性的问题,提出了改进的移动微支付协议Payword.相比Payowrd,改进的Payword具有更好的安全性和公平性.为验证改进的移动微支付协议Payword能否满足不可否认性,对SVO逻辑进行扩展,并运用扩展后的SVO逻辑对改进的Payword微支付协议进行形式化分析.分析结果表明,改进后的微支付协议满足不可否认性.