摘要
The TNC IF-T Protocol Binding to TLS(TIPBT) is specified by Trusted Computing Group(TCG) for TNC assessment exchanges.However,the TIPBT cannot be analysed by current Strand Space Model(SSM) because of the different requirements from the traditional security protocols.In order to solve this problem,first,we give an extension of the SSM and point out the TIPBT cannot prevent Man-in-the-Middle(MITM) attacks in some cases based on the extended SSM.Then,we improve the TIPBT and show that the improved TIPBT can resist MITM attacks in the extended SSM.
The TNC IF-T Protocol Binding to TLS （TIPBT） is specified by Trusted Computing Group （TCG） for TNC assessment exchanges. However, the TIPBT cannot be ana- lysed by current Strand Space Model （SSM） because of the different requirements from the traditional security protocols. In order to solve this problem, first, we give an extension of the SSM and point out the TIPBT cannot prevent Man-in-the-Middle （MITM） attacks in some cases based on the extended SSM. Then, we improve the TIPBT and show that the improved TIPBT can resist MITM attacks in the extended SSM.
基金
supported in part by the National Natural Science Foundation of China under Grants No.60473072,No.60803151
the Joint Fund of Natural Science Foundation of China with the Guangdong Provincial Government under Grant No.U0632004
