| 移动环境公平支付协议的设计与分析研究 |
| |
| 引用本文： | 刘 霞,古天龙,董荣胜,郭云川. 移动环境公平支付协议的设计与分析研究[J]. 通信学报, 2007, 28(4): 32-37 |
| |
| 作者姓名： | 刘 霞 古天龙 董荣胜 郭云川 |
| |
| 作者单位： | 1. 桂林电子科技大学,计算机与控制学院,广西,桂林,541004;重庆科技学院,电子信息工程学院,重庆,401331
2. 桂林电子科技大学,计算机与控制学院,广西,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金;广西自然科学基金 |
| |
| 摘 要： | 结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。
|
| 关 键 词： | 公平支付协议 模型检验 公平性 移动环境 |
| 文章编号： | 1000-436X（2007）04-0032-06 |
| 修稿时间： | 2005-10-21 |
Design and analysis of a novel fair payment protocol in mobile environments |
| |
| LIU Xia,GU Tian-long,DONG Rong-sheng,GUO Yun-chuan. Design and analysis of a novel fair payment protocol in mobile environments[J]. Journal on Communications, 2007, 28(4): 32-37 |
| |
| Authors: | LIU Xia GU Tian-long DONG Rong-sheng GUO Yun-chuan |
| |
| Affiliation: | 1 .Department of Computer Science and Engineering, Guilin University of Electronic Technology, Guilin 541004,China; 2.Electronic Information Engineering Instistute, Chongqing University of Science and Technology, Chongqing 401331,China |
| |
| 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. |
| |
| Keywords: | fair payment protocol model checking fairness mobile environments |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
|
