journal6 ›› 2007, Vol. 28 ›› Issue (6): 30-33.

• Mathematics • Previous Articles     Next Articles

Application of Ideal Analysis of Security Protocols


  1. (1.School of Information Science & Engineering,Central South University,Changsha 410083,China;2.College of Mathematics & Computer Science,Jishou University,Jishou 416000,Hunan China)
  • Online:2007-11-25 Published:2012-06-10

Abstract: Strand space theory has been an important method since being advanced.Because of the special structure of ideal,Guttman,et al,the ideal of information algebra and honesty have been introduced to the analysis of the secrecy of Otway-Rees protocol in literature.In this paper,the authors focus on applying ideal to analyze other security properties of cryptographic protocols,mainly secrecy,authentication,forward secrecy and how to resist guessing attack.

Key words: strand space, ideal, application

WeChat e-book chaoxing Mobile QQ