A trusted transmission protocol based on trusted computing technology

In order to realize load balance or to fulfill the business logic efficiently, it is very common that a process has to be migrated in the environment of open network. In this case, how to protect the recipient´s platform from malicious code and at the same time, how to attest to the trustworthiness of the recipient´s platform by the recipient are both typical problems. Utilizing trusted computing technology, a trusted transmission protocol is designed and it can solve the aforementioned problems efficiently. The AVISPA toolset also be used to verify this protocol and the results of verification demonstrate that this protocol does realize mutual platform integrity authentication, mutual entity authentication and confidentiality and integrity of process during transit.