欢迎访问中国科学院大学学报,今天是
论文

基于单向陷门函数的TMN协议的改进

  • 孙海波 ,
  • 林东岱
展开
  • 1. 中国科学院数学与系统科学研究院数学机械化研究中心, 北京 100080;
    2. 中国科学院软件所信息安全国家重点实验室, 北京 100080
孙海波,男,1976年生,硕士;husn.mmrciss.ac.cn

收稿日期: 2002-06-06

  网络出版日期: 2002-05-18

基金资助

973资助项目(NKBRSF G1998030609);863资助项目(2001AA144030)

An Improvement of the TMN Protocol Based on Trapdoor Oneway Functions

  • SUN Hai-Bo ,
  • LIN Dong-Dai
Expand
  • 1. MMRC, Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 100080;
    2. State Key Laboratory of Information Security, Institute of Software Chinese Academy of Sciences, Beijing 100080

Received date: 2002-06-06

  Online published: 2002-05-18

摘要

提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式,利用串空间理论证明了它的安全性,并给出了几个具体的实现形式.

本文引用格式

孙海波 , 林东岱 . 基于单向陷门函数的TMN协议的改进[J]. 中国科学院大学学报, 2002 , 19(3) : 254 -262 . DOI: 10.7523/j.issn.2095-6134.2002.3.006

Abstract

In this paper, we have presented a general method to improve the security of TMN Protocol based on trap-door one-way functions. We also proved its security by using strand space theory and gave some examples of our improvement.

参考文献

1. Bruce Schneier.应用密码学.北京:机械工业出版社,2000

2. Ulf Carlsen. Cryptographic protocol flaws. In: Proceedings 7th IEEE Computer Security Foundations Workshop, IEEE Computer Society, 1994.192^200

3. M Tatebayashi, N Matsuzaki,D B Newman Jr. Key Distribution Protocol for Digital Mobile Communication Systems. In: Advances in Cryptology: Proc Crypto'89, Lecture Notes in Computer Science: 435, Springer Verlag, 1990.324一333

4. F Javier Thayer Fabrega, Jonathan C Herzog, Joshua D Gunman. Strand Spaces: Why is a security protocol correct? 1n: Proceed-ings of the 1998 IEEE Symposium on Security and Privacy: IEEE Computer Press, 1998. 160-171

5. F Javier Thayer Fabrega, Jonathan C Herzog, Joshua D Gunman. Honest Ideais on Strand Spaces. In: Joshua Gunman. Proceed-ings of the Ilth Computer Security Foundations Workshop, IEEE Computer Society, Rockport, MA, 1998. 66一77

6. Al Maneki. Honest Functions and Their Application to the Analysis of Cryptographic Protocols. In: Proceedings of the Computer Security Foundations Workshop VI: IEEE Computer Society Press, 1993. 147一158

7. F Javier Thayer Fabrega, Jonathan C Herzog,Joshua D Gunman. Strand Spaces: Proving Security Protocols Correct. Journal of Computer Security, 1997(2/3):191 ^230

8. Gavin Lowe, Bill Roscoe. Using CSP to Detect Errors in the TMN Protocol.IEEE Transactions(10):659一669

9. Gavin Lowe. Breaking and Fixing the Needham-Schroeder Publirkey Protocol Using FDR.1n:Notes in (computer Science: 1055. Springer Verlag. 1996. 147158

10. 朱文余,孙琦计算机密码应用基础.北京:科学出版社,2000

文章导航

/