可信移动互联网络关键理论与应用研究

采用可信计算模块(TPM)和可信移动平台(TMP)设计移动路由器的可信体系结构,构建可信移动IP平台(TMIP)，借此实现异构移动设备的可信接入；设计可信路由协议和算法对移动互联网的服务提供安全保障；设计安全可靠的组播理论体系和应用模式及其协议和算法，实现移动互联网中的可信组播服务；探索移动互联网的安全性、可生存性、可信性等问题，建立移动互联网的形式化描述方法和分布式移动访问控制策略；利用通用组合安全的设计理论与方法指导可信构件组合安全体系结构的实现方法，探索基于COTS安全构件的安全体系结构设计理论与方法，用可证明的安全技术分析可信体系结构下的相关安全协议与安全算法，实现移动互联网络基础设施和关键业务的可信；实现一个应用原型系统用以验证所提出的理论和方法，为下一代移动互联网络的设计与实现提供理论和技术保障。