期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

离线公平交换协议的子协议分析 被引量：1

Analysis of Sub-protocol in Offline Fair Exchange Protocol
在线阅读 下载PDF
导出
摘要 离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题,给出协议的改进方案,提出设计两方和多方离线公平交换协议的建议。 Sub-protocols are crucial to the fairness ofoffiine fair exchange protocols. The strand space model analyze in the ASW offiine protocol and the KM offiine protocol. Analysis shows that keeping the sub-protocols＇ executions mutual exclusive and their result synchronization is important for guaranteeing the fairness of offline fair exchange protocols. Based on the analysis, this paper proposes some improvements to solve the problems found in the protocols, and makes suggestions on designing future offiine fair exchange protocols.
作者 李向东 陈莉 王清贤
机构地区 信息工程大学信息工程学院 郑州大学西亚斯国际学院 河南财经学院计算中心
出处 《计算机工程》 CAS CSCD 北大核心 2010年第3期7-9,12,共4页 Computer Engineering
基金 国家"863"计划基金资助项目(2007AA01Z471) 河南省科技攻关基金资助重点项目(072102210029) 河南省科技攻关基金资助项目(0624260017)
关键词 公平交换 子协议 串空间 离线可信第三方 协议设计 fair exchange sub-protocol strand space offiine Trusted Third Party（TTP） protocol design
分类号 TP309 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献15

  • 1Pagnia H, Vogt H, Gartner F. Fair Exchange[J]. The Computer Journal, 2003, 8(2): 55-75.
  • 2Kremer S, Markowitch O. An Intensive Survey of Fair Nonrepudiation Protocols[J]. Computer Communications, 2002, 25(17): 1601-1621.
  • 3Asokan N, Schunter M, Waidner M. Optimistic Protocols for Fair Exchange[C]//Proc. of the 4th ACM Conference on Computer and Communications Security. Zurich, Switzerland: ACM Press, 1997: 8-17.
  • 4Kremer S, Raskin J. Game Analysis of Abuse-free Contract Signing[C]//Proc. of the 15th IEEE Computer Security Foundations Workshop. Washington D. C., USA: IEEE Computer Society Press, 2002: 206-220.
  • 5Kremer S, Raskin J. A Game-based Verification of Non-repudiation and Fair Exchange Protocols[J]. Journal of Computer Security, 2003, 11(3): 399-429.
  • 6Kremer S. Formal Analysis of Optimistic Fair Exchange Protocols[D]. Brussels, Belgium: Universit'e Libre de Bruxelles Facult'e des Sciences, 2004.
  • 7张梅,文静华,张焕国.基于ATL方法的电子商务协议FONRP分析[J].计算机工程,2008,34(3):151-153. 被引量：3
  • 8刘英杰,姚正安.一种分析安全协议的新逻辑[J].计算机工程,2007,33(23):163-166. 被引量：2
  • 9沈海峰,薛锐,黄河燕.用串空间分析公平交换协议[J].小型微型计算机系统,2006,27(1):62-68. 被引量：4
  • 10董荣胜,陈大伟,郭云川,古天龙.公平非否认协议的有限状态分析[J].计算机科学,2005,32(8):83-86. 被引量：6

二级参考文献42

  • 1董荣胜,郭云川,古天龙.一种电子商务协议原子性的模型检验分析方法[J].计算机科学,2005,32(4):184-186. 被引量：2
  • 2F Javier Thayer Fabrega, Jonathan C Herzog, Joshua D Guttman. Honest ideals on strand spaces[C]. In: Proceedings of the 11th IEEE Computer Security Foundations Workshop,1998.
  • 3F Javier Thayer Fttbrega, Jonathan C Herzog, Joshua DGuttman. Strand spaces: Why is a security protocol correct[C]. In Proceedings, 1998 IEEE Symposium on Security and Privacy.
  • 4F Javier Thayer Fttbrega, Jonathan C Herzog, Joshua D Guttman. Strand spaces:Proving security protocols correct[J].Journal of Computer Security, 1999,7(10) :191-230.
  • 5Henning Pagnia, Felix C G'" armer. On the impossibility of fair exchange without a trusted third party[R]. Technical Report TUD-BS-1999-02, Darmstadt University of Technology, department of Computer Science, Darmstadt, Germany, March 1999.
  • 6Steve Kremer. Formal analysis of optimistic fair exchange protocols[D]. Doctoral Thesis, 2003.
  • 7Jianying Zhou, Dieter Gollmann. A fair non-repudiation protocol[C]. In: IEEE Symposium on Research in Security and Privacy, Research in Security and Privacy, 55-61, IEEE Computer Security Press, May 1996.
  • 8Jianying Zhou, Dieter Gollmann. Certified electronic mail[C].Inz Computer Security-ESORICS 1996, volume 1146 of Lecture Notes in Computer Science, pages 160-171, 1996.
  • 9Robert H Deng, Li Gong, Aurel A Lazar et al. Practical protocols for certified electronic mail [J]. Journal of Network and System Management, 1996,4(3) :279-297.
  • 10]ianying Zhou, Dieter Gollmann. An efficient non-repudiation protocol [C]. In: 10th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, June 1997.

共引文献11

同被引文献8

引证文献1

二级引证文献1

计算机工程
2010年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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