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

• 作者: 周璇 汪学明
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 移动支付 微支付协议 SVO逻辑 协议分析 不可否认性
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2572-2574,2579
• 分类号: TP309
• 字数: 4392字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪学明	贵州大学计算机科学与信息学院	71	197	7.0	8.0
2	周璇	贵州大学计算机科学与信息学院	4	1	1.0	1.0