移动环境公平支忖协议的设计与分析研究

doi:1000-436X(2007)04-0032-06

通信学报 ›› 2007, Vol. 28 ›› Issue (4): 32-37.doi: 1000-436X(2007)04-0032-06

移动环境公平支忖协议的设计与分析研究

刘霞^1,²,古天龙¹,董荣胜¹,郭云川¹

¹ 桂林电子科技大学计算机与控制学院，广西桂林 541004
² 重庆科技学院电子信息工程学院，重庆 401331

出版日期:2007-04-25 发布日期:2017-06-26
基金资助:
国家自然科学基金资助项目;广西自然科学基金资助项目

Design and analysis of a novel fair payment protocol in mobile environments

Xia LIU^1,²,Tian-long GU¹,Rong-sheng DONG¹,Yun-chuan GUO¹

¹ Department of Computer Science and Engineering, Guilin University of Electronic Technology, Guilin 541004,China
² Electronic Information Engineering Instistute, Chongqing University of Science and Technology, Chongqing 401331,China

Online:2007-04-25 Published:2017-06-26
Supported by:
The National Natural Science Foundation of China;The Natural Science Foundation of Guangxi Province

摘要/Abstract

摘要：

结合固定网络中的支忖协议并充分考虑移动装置和无线网络的特点，提出了一种移动环境公平支忖协议。利用模型检验工具对协议进行分析并将该协议与其他支忖协议进行比较，分析和比较结果表明，该协议具有公平、保密、高效等特点，适用于移动环境。

关键词: 公平支忖协议, 模型检验, 公平性, 移动环境

Abstract:

A novel fair payment protocol in mobile environments was presented, which combined the payment protocols in fixed networks and considered the characteristics of mobile devices and wireless networks. The protocol was analyzed by model checker and compared with other payment protocols.The results show that the novel protocol has fairness, con-fidentiality and high efficiency and it is suitable for mobile environments.

Key words: fair payment protocol, model checking, fairness, mobile environments

刘霞,古天龙,董荣胜,郭云川. 移动环境公平支忖协议的设计与分析研究[J]. 通信学报, 2007, 28(4): 32-37.

Xia LIU,Tian-long GU,Rong-sheng DONG,Yun-chuan GUO. Design and analysis of a novel fair payment protocol in mobile environments[J]. Journal on Communications, 2007, 28(4): 32-37.

图/表 6

图1

图2

图3

图4

图5

表1

参考文献 9

[1]	Mastercard,Visa.Secure electronic transactions specification[EB/OL]. , 1997.
[2]	BRICKELL E , GEMMELL P , KRAVITZ D . Trustee-based tracing extensions to anonymous cash and the making of anonymous change[A]. Proceedings of the 6thACM-SIAM Symposium on Dis-crete Algorithms[C]. San Francisco, California, USA, 1995.457-466.
[3]	TSALGATIDO A , PITOURA E . Business models and transactions in mobile electronic commerce:requirements and properties[J]. Computer Networks, 2001,37(2):221-236.
[4]	ASOKAN N . Fairness in Electronic Commerce[D]. University of Waterloo, Ontario,Canada, 1998.
[5]	PARK J M , RAY I , CHONG E K P et al. A certified e-mail protocol suitable for mobile environments[A]. Global Telecommunications Conference[C]. San Francisco, CA, USA, 2003.394-1398.
[6]	HAO W , HEQ G . Achieving fairness in wireless environment[A]. IEEE 6thCAS Symposium on Emerging Technologics: Mobile and Wirelsss Communication[C]. Shanghai,China, 2004.117-120.
[7]	MCMILLAN K L . Symbolic Model Checking[M]. USA: Kluwer Academic Publishers, 1993.
[8]	张玉清，王磊，肖国镇等． Needham-Schroeder公钥协议的模型检测分析[J]. 软件学报， 2000,11(10):1348-1352. ZHANG Y Q , WANG L , XIAO G Z , et al. Model checking analysis of needham-schroeder public-key protocol[J]. Journal of Software, 2000,11(10): 1348-1352.
[9]	KUNGPISDAN S , SRINIVASAN B , PHU D L . A secure ac-count-based mobile payment protocol[A]. International Conference on Information Technology: Coding Computing[C]. Las Vegas, NV, USA, 2004.5-39.

	SET	KSL	FMPP
1．公平性	无	无	有
2．保密性	有	有	有
3．时间性	无	无	有
4.TTP参与方式	on-line	on-line	off-line
5．客户公钥加密次数	1	0	0
6．客户公钥解密次数	0	0	1
7．客户是否需要参与争端解决	/	/	否
8．需交换的消息条数	6	9	4

[1]	孙彦景, 程枫陟, 周家思, 李松. 公平性驱动的RSMA-SDMA预编码设计[J]. 通信学报, 2022, 43(4): 177-185.
[2]	叶迎晖,施丽琴,卢光跃. 反向散射辅助的无线供能通信网络中用户能效公平性研究[J]. 通信学报, 2020, 41(7): 84-94.
[3]	王竹,袁青云,郝凡凡,房梁,李凤华. 基于链路容量的多路径拥塞控制算法[J]. 通信学报, 2020, 41(5): 59-71.
[4]	谭国真,韩国栋,张福新,丁男,刘明剑. 基于网络效用最大化理论的分布式车联网拥塞控制策略[J]. 通信学报, 2019, 40(2): 82-91.
[5]	张恩,耿魁,金伟,李勇俊,孙韵清,李凤华. 抗隐蔽敌手的云外包秘密共享方案[J]. 通信学报, 2017, 38(5): 57-65.
[6]	苏成龙,金光,江先亮,钮俊. 公平和低时延的主动队列管理算法研究[J]. 通信学报, 2017, 38(5): 199-206.
[7]	谢显中,卢华兵,施赵媛. 基于轮询机制的公平高效机会干扰对齐算法[J]. 通信学报, 2017, 38(10): 1-9.
[8]	朱更明,王志强,李哲涛,李仁发. 信道公平分配的局部拥塞控制算法[J]. 通信学报, 2015, 36(4): 9-18.
[9]	王志军,胡封晔,尹颖奇,刘小兰. 基于无线体域网的传输功率控制和调度算法[J]. 通信学报, 2015, 36(10): 271-277.
[10]	卢笛，马建峰，王一川，习宁，孟宪佳. 面向云计算环境的动态公平性度量方法[J]. 通信学报, 2014, 35(7): 17-150.
[11]	卢笛,马建峰,王一川,习宁,孟宪佳. 面向云计算环境的动态公平性度量方法[J]. 通信学报, 2014, 35(7): 140-150.
[12]	叶青1,2，杨赟3，郑世慧2，常利伟2，肖达2，杨义先2,4. 公平的多方并发签名方案[J]. 通信学报, 2014, 35(3): 16-149.
[13]	叶青,杨赟,郑世慧,常利伟,肖达,杨义先. 公平的多方并发签名方案[J]. 通信学报, 2014, 35(3): 140-149.
[14]	田有亮,彭长根,马建峰,林辉,杨凯. 通用可组合公平安全多方计算协议[J]. 通信学报, 2014, 35(2): 54-62.
[15]	田有亮1,2，彭长根1，马建峰2，林辉2，杨凯3. 通用可组合公平安全多方计算协议[J]. 通信学报, 2014, 35(2): 8-62.

移动环境公平支忖协议的设计与分析研究

Design and analysis of a novel fair payment protocol in mobile environments

在线阅读

PDF下载

可视化

摘要/Abstract

引用本文

使用本文

图/表 6

参考文献 9

相关文章 15

Metrics

推荐阅读 0