期刊文献+

一种分析电子商务协议的新工具 被引量:47

A New Approach for the Analysis of Electronic Commerce Protocols
下载PDF
导出
摘要 提出了一种新的形式化分析方法 ,可用于分析电子商务协议 .与 Kailar逻辑相比 ,它有 3个优点 :(1)能够有效地分析协议的公平性 ,在进行公平性分析时充分考虑了通信信道的可靠性 ;(2 )初始化拥有集合只依赖于环境 ,不需要人为地引入初始化假设 ;(3)增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息 . In this paper, a new framework is proposed for the analysis of electronic commerce protocols. Comparing to the framework proposed by Kailar, it has three major improvements. Firstly, it can analyze fairness of protocols efficiently. In the analysis of fairness, it takes the reliability of communication channels into consideration. Secondly, the initial possesion set depends on environment in stead of human beings. At last, by introducing the cipher text understanding rule the new framework can analyze the message which includes signed cipher text.
出处 《软件学报》 EI CSCD 北大核心 2001年第9期1318-1328,共11页 Journal of Software
基金 国家自然科学基金资助项目 (6 0 0 830 0 7) 国家重点基础研究发展规划 973资助项目 (G19990 35 810 )~~
关键词 可追究性 公平性 逻辑分析 网上交易 电子商务协议 accountability electronic commerce fairness logical analysis protocol
  • 相关文献

参考文献1

二级参考文献3

  • 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页

共引文献28

同被引文献331

引证文献47

二级引证文献248

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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