Welcome to Journal of University of Chinese Academy of Sciences,Today is

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

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.

Cite this article

SUN Hai-Bo , LIN Dong-Dai . An Improvement of the TMN Protocol Based on Trapdoor Oneway Functions[J]. Journal of University of Chinese Academy of Sciences, 2002 , 19(3) : 254 -262 . DOI: 10.7523/j.issn.2095-6134.2002.3.006

References

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

Outlines

/