论文部分内容阅读
私有代理程序在开放网络中因为业务需要而进行迁移是一个常见的活动，如何保证接收方主机平台不受恶意程序攻击，同时又要确认接收方平台的可信度是一个具有普遍意义的问题。利用可信计算技术，设计了一个可信下载协议，有效地解决了上述问题，并利用AVISPA工具包对协议进行了验证，验证结果表明该协议实现了双向平台完整性鉴别、双向实体鉴别以及私有代理程序在迁移过程中的机密性和完整性。