论文部分内容阅读
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 the Trusted Computing Group (TCG) for TNC assessment exchanges.However, the TIPBT can not be be analyzed 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 can not prevent Man-in-the-Middle (MITM) attacks in some cases based on the extended SSM. Chen, we improve the TIPBT and show that the improved TIPBT can resist MITM attacks in the extended SSM.