期刊文献+

一个新的电子支付协议及其形式化分析 被引量:1

A NEW ELECTRONIC PAYMENT PROTOCOL AND ITS FORMAL ANALYSIS
下载PDF
导出
摘要 在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证,新的协议满足可追究性和公平性原则。 The accountability and fairness of payer and payee is essential in electronic payment protocol, and it can usually be implemented by accountability protocol during electronic payment. A new accountability and fairness protocol is presented based on the correction of some flaws of ISI payment protocol. The new protocol has been evaluated by advanced Kailar logic, and the evaluation result shows that the protocol satisfies the demand of accountability and fairness.
出处 《计算机应用与软件》 CSCD 北大核心 2008年第9期93-94,124,共3页 Computer Applications and Software
基金 贵州省科学技术基金项目(20082125)
关键词 电子支付协议 可追究性 公平性 KAILAR逻辑 Electronic payment protocol Accountability Fairness Kailar logic
  • 相关文献

参考文献6

  • 1ISO/IEC 3rd CD 13888-1. Information technology-Security techniques, Part 1 : General model[ S]. ISO/IEC JTC11/SC24 N1274,1996.
  • 2Kailar R. A ccountability in electronic commerce protocols [ J ]. IEEE Transactions on Software Engineering,1996,22(5 ) :313 -328.
  • 3周典萃,卿斯汉,周展飞.Kailar逻辑的缺陷[J].软件学报,1999,10(12):1238-1245. 被引量:29
  • 4周典萃,卿斯汉,周展飞.一种分析电子商务协议的新工具[J].软件学报,2001,12(9):1318-1328. 被引量:47
  • 5Medvinsky G, Neuman BC. NetCash:A design for practical electronic currency on the internet [ C ]. 1 st ACM Conference on Computer and Communications Security, 1993 : 102 - 106.
  • 6Zhou J, Gollman D. A Fair Non-repudiation Protocol [ A ]. Roscheisen M, Senban C (Eds.). Proceeding of 1996 IEEE Symposium on Security and Privacy, Oakland, California : IEEE Computer Society Press, 1996, 5:55 - 61.

二级参考文献4

  • 1沈延生.对村民自治的期望与批评[A]..中国农村研究(2002年卷)[C].北京:中国社会科学出版社,2003..
  • 2Zhou J,Proc ’96 IEEE Sympo Security and Privacy,1996年,55页
  • 3Deng R H,J Network System Management,1996年,4卷,3期,279页
  • 4周典萃,卿斯汉,周展飞.Kailar逻辑的缺陷[J].软件学报,1999,10(12):1238-1245. 被引量:29

共引文献59

同被引文献8

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部