期刊导航

论文摘要

WAP环境下移动支付协议公平性分析

Fairness Analysis of Mobile Payment Protocol in WAP Environment

作者:林宏刚(成都信息工程学院 网络工程学院);胡勇(四川大学 电子信息学院)

Author:Lin Honggang(School of Network Eng.,Chengdu Univ. of Info. Technol.);Hu Yong(College of Electronics and Info. Eng.,Sichuan Univ.)

收稿日期:2013-02-17          年卷(期)页码:2013,45(3):91-97

期刊名称:工程科学与技术

Journal Name:Advanced Engineering Sciences

关键字:WAP; 移动支付协议;公平性;扩展串空间模型

Key words:WAP;mobile payment protocol;fairness;extended strand space model

基金项目:四川省科技支撑计划资助项目(2012FZ0016)

中文摘要

为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷。由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进行了形式化分析,证明其在没有影响运行效率的前提下能够满足公平性要求。研究结果验证了所提的方法可以有效地分析协议公平性。

英文摘要

To ensure the fair exchange of buyers and sellers,the fairness of mobile payment protocol was formally analyzed with the theorem of unsolicited test and the existence of sending edge. It was pointed out that the mobile payment protocol has security shortages on fairness. By adding timestamps to the original protocol and changing entity of some messages,an improved protocol was proposed to overcome the security shortages. The improved protocol was proved to satisfy with the fairness under the premise of not affecting performance by the extended strand space model. The research result indicated that the proposed approach can analyze the fairness of protocol efficiently.

关闭

Copyright © 2020四川大学期刊社 版权所有.

地址:成都市一环路南一段24号

邮编:610065