| 移动微支付协议Payword的改进与形式化分析 |
| |
| 引用本文： | 周璇,汪学明.移动微支付协议Payword的改进与形式化分析[J].计算机工程与设计,2011,32(8):2572-2574,2579. |
| |
| 作者姓名： | 周璇 汪学明 |
| |
| 作者单位： | 贵州大学计算机科学与信息学院,贵州贵阳,550025 |
| |
| 基金项目： | 国家自然科学基金项目，贵州大学引进人才科研基金项目 |
| |
| 摘 要： | 针对移动微支付协议Payword不满足不可否认性的问题,提出了改进的移动微支付协议Payword。相比Payowrd,改进的Payword具有更好的安全性和公平性。为验证改进的移动微支付协议Payword能否满足不可否认性,对SVO逻辑进行扩展,并运用扩展后的SVO逻辑对改进的Payword微支付协议进行形式化分析。分析结果表明,改进后的微支付协议满足不可否认性。
|
| 关 键 词： | 移动支付 微支付协议 SVO逻辑 协议分析 不可否认性 |
Improvement and formal analysis of mobile micro-payment protocol Payword |
| |
| ZHOU Xuan,WANG Xue-ming.Improvement and formal analysis of mobile micro-payment protocol Payword[J].Computer Engineering and Design,2011,32(8):2572-2574,2579. |
| |
| Authors: | ZHOU Xuan WANG Xue-ming |
| |
| Affiliation: | (College of Computer Science and Information,Guizhou University,Guiyang 550025,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
