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

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

作　　者：刘霞[1] 古天龙[1] 董荣胜[1] 郭云川[1] 

机构地区：[1]桂林电子科技大学计算机与控制学院

出　　处：《通信学报》2007年第4期32-37,共6页Journal on Communications

基　　金：国家自然科学基金资助项目(60243002);广西自然科学基金资助项目(0542052)~~

摘　　要：结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。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, confidentiality and high efficiency and it is suitable for mobile environments.

关 键 词：公平支付协议 模型检验 公平性 移动环境 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]