可信计算环境下的Canetti-Krawczyk模型.pdfVIP

1 Vol. 37 No. 1 2009 1 ACTA ELECTRONICA SINICA Jan. 2009 CanettiKrawczyk 1 1, 2 1 李兴华, 马建峰 , 马 卓 ( 1 , 710071; 2, 300160) : , CanettiKrawczyk( CK) , . , / TPM , CK : ( sessionkey uery) ; : (longterm private key corruption) . , TPM CK . , CK CKTC. , CKTC . , : , TPM ; / TPM . : ; Canetti Krawczyk : TP3092 : A : (2009) The CanettiKrawczyk Model Under the Trusted Computation 1 1,2 1 LI Xinghua ,MA Jianfeng ,MA Zhuo ( 1Key Laboratory of ComputerNetworks and Inf ormation Security, Ministry of Education, Xidian University , S aanxi, Xi an 710071, C ina; 2College of Comp uter Tec nology and Automation, Tianj in Polytec nic University , Tianj in 300160, C ina) Abstract : Under the trusted environment,we rethink the three attack abilities defined in the CanettiKrawczyk ( CK) model which is a formal method for the design and analysis of key agreement protocols.We find that under the trusted environment if the signature/ verification key pair is generated by TPM, the attacker in the CK model has only one attack ability : sessionkey uery. Otherwise, he has two abilities: sessionkey uery and one new attack ability: longterm private key corruption. In addition, TPM overcomes the weakness of the encryption algorithm based authenticator in the Canetti Krawczyk model. Based on these, we pro posed a new CK model under the trusted environment CKTC.Thereafter, through an example of utilization of C