串空间理论的扩展和应用-计算机工程.PDFVIP

35 22 2009 11 Vol.35 No.22 Computer Engineering November 2009 ·· 2009 A TP309.2 1 1 1 2 (1. 230037 2. 73677 210016) Diffie-Hellman SIGMA-R Diffie-Hellman Extension and Application of Strand Space Theory 1 1 1 2 CHEN Jian-xiong , SUN Le-chang , PAN Zu-lie , CAI Ming (1. Dept. of Network Engineering, Hefei Electronic Engineering Institute, Hefei 230037; 2. The 73677 Unit of PLA, Nanjing 210016) AbstractDue to the requirement of the security protocol analysis, the paper presents the extended strand space theory. A new cryptographic primitive is added into strand space including Diffie-Hellman(DH) operations. On this basis, the honest and ideals concepts are extended. The core security property of the SIGMA-R protocol, confidentiality and authentication, is analyzed by using the extended strand space theory. Through the mathematic method, the two security properties are identified. Key wordsstrand space; Diffie-Hellman(DH) key exchange; digital signature [1-4] ESHD 1.2 T K 5 [5] DH m, m A K , K K DH 1 {m} {m } =⇔ m m =∧ K K K K [6]SIGMA-R 2 (m)K (m)K =⇔ m m =∧ K K 3 H (m ) H (m) =⇔