摘要
Security analysis of cryptographic protocols has been widely studied for many years.As far as we know,we have not found any methods to effectively analyze group key exchange protocols for the three parties yet,which did not sacrifice the soundness of cryptography.Recently,Canetti and Herzog have proposed Universally Composable Symbolic Analysis(UCSA) of two-party mutual authentication and key exchange protocol which is based on the symmetric encryption schemes.This scheme can analyze the protocols automatically and guarantee the soundness of cryptography.Therefore,we discuss group key exchange protocol which is based on Joux Tripartite Diffie-Hellman(JTDH) using UCSA.Our contribution is analyzing group key exchange protocol effectively without damaging the soundness of cryptography.
Security analysis of cryptographic proto- cols has been widely studied for many years. As far as we know, we have not found any methods to ef- fectively analyze group key exchange protocols for the three parties yet, which did not sacrifice the soundness of cryptography. Recently, Canetti and Herzog have proposed Universally Composable Symbolic Analysis （UCSA） of two-party mutual au- thentication and key exchange protocol which is based on the symmetric encryption schemes. This scheme can analyze the protocols automatically and guarantee the soundness of cryptography. Therefore, we discuss group key exchange protocol which is based on Joux Tripartite Diffie-Hellman （JTDH） u- sing UCSA. Our contribution is analyzing group key exchange protocol effectively without damaging the soundness of cryptography.
基金
supported by the National Natural Science Foundation of China under Grants No.61003262,No.60873237,No.61100205,No.60873001
the Fundamental Research Funds for the Central Universities under Grant No.2009RC0212
