| WAP环境下移动支付协议公平性分析 |
| |
| 引用本文： | 林宏刚,胡勇.WAP环境下移动支付协议公平性分析[J].四川大学学报(工程科学版),2013,45(3):91-97. |
| |
| 作者姓名： | 林宏刚 胡勇 |
| |
| 作者单位： | 1. 成都信息工程学院网络工程学院,四川成都,610025
2. 四川大学电子信息学院,四川成都,610064 |
| |
| 摘 要： | 为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷.由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进行了形式化分析,证明其在没有影响运行效率的前提下能够满足公平性要求.研究结果验证了所提的方法可以有效地分析协议公平性.
|
| 关 键 词： | WAP 移动支付协议 公平性 扩展串空间模型 |
| 收稿时间： | 2/17/2013 8:06:03 AM |
| 修稿时间： | 4/2/2013 9:23:12 AM |
Fairness Analysis of Mobile Payment Protocol in WAP Environment |
| |
| Lin Honggang and Hu Yong.Fairness Analysis of Mobile Payment Protocol in WAP Environment[J].Journal of Sichuan University (Engineering Science Edition),2013,45(3):91-97. |
| |
| Authors: | Lin Honggang and Hu Yong |
| |
| Affiliation: | School of Network Eng.,Chengdu Univ. of Info. Technol.;College of Electronics and Info. Eng.,Sichuan Univ. |
| |
| Abstract: | |
| |
| Keywords: | WAP mobile payment protocol fairness extended strand space model |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《四川大学学报(工程科学版)》浏览原始摘要信息 |
|
点击此处可从《四川大学学报(工程科学版)》下载全文 |
|
