期刊文献+

一种设计Fail-Stop协议的新方法 被引量:1

A New Method of Designing the Fail-Stop Protocol
下载PDF
导出
摘要 如何设计出满足安全需求的安全协议是一项非常重要的课题,目前尚无有效的方法。Fail-Stop协议在遭遇干扰其正常运行的主动攻击时完全停止。本文提出了一种设计Fail-Stop协议的新方法,分析了这种方法的正确性;分析了SSL协议早期版本的安全缺陷,并使用本方法对其进行了改进。 The design of a security protocol which satisfies the security demands is a very important task, but there is no effective method. The fail-stop protocol comes to a full stop when attacks occurr. In this paper,a new method of desiging a fail-stop protocol is proposed. The security flaws of an earlier version of the SSL protocol is analyzed and are mended by our method.
作者 李军 郑君杰
出处 《计算机工程与科学》 CSCD 2008年第5期9-10,48,共3页 Computer Engineering & Science
关键词 安全协议 fail-stop 设计 SSL security protocol fail-stop design SSL
  • 相关文献

参考文献9

  • 1Lowe G.Breaking and Fixing the Needham-Schroeder Public-key Protocol Using FDR[J].Software-Concepts and Tools,1996,17:93-102.
  • 2Morton C M.A Modular Approach to Evaluating Cryptographic Protocols Using Petri Nets:[Master Dissertation][D].Kingston,Ontario,Canada:Queen's University,1993.
  • 3Schneider S A.Security Properties and CSP[C]∥Proc of the 1996 IEEE Symp on Security and Privacy,1996:174-187.
  • 4Burrows M,Abadi M,Needham R.A Logic of Authentication[J].ACM Trans on Computer Systems,1990,8(1):18-36.
  • 5Woo T Y C,Lam S S.A Lesson on Authentication Protocol Design[J].Operating Systems Review,1994,28(3):24-37.
  • 6Li G,Paul S.Fail-Stop Protocol:An Approach to Designing Secure Protocols[C]∥Proc of IFIP DCCA-5,1995.
  • 7Anderson R.The Classification of Hash Functions[C]∥Proc of IMA Conf on Cryptography and Coding,1993.
  • 8Hickman K E B.The SSL Protocol[S].RFC,1994.
  • 9Abadi Martin,Needham Roger.Prudent Engineering Practice for Cryptographic Protocols[C]∥Proc of the IEEE Computer Society Symp on Research in Security and Privacy,1994.

同被引文献2

  • 1Schneier B. Applied Cryptography: Protocols, Algrithms, and Source Code in C[ M ]. Katherine Schowaher, 1995.
  • 2Stallings W. Cryptography and Network Security Princi- ples and Practices, 4th ed[ M]. Prentice Hau, 2005.

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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