摘要
结合固定网络中的支付协议并充分考虑移动装置和无线网络的特点,提出了一种移动环境公平支付协议。利用模型检验工具对协议进行分析并将该协议与其他支付协议进行比较,分析和比较结果表明,该协议具有公平、保密、高效等特点,适用于移动环境。
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.
出处
《通信学报》
EI
CSCD
北大核心
2007年第4期32-37,共6页
Journal on Communications
基金
国家自然科学基金资助项目(60243002)
广西自然科学基金资助项目(0542052)~~
关键词
公平支付协议
模型检验
公平性
移动环境
fair payment protocol
model checking
fairness
mobile environments
