中文摘要：

移动自组网是一种新型的无基站、无中心无线移动计算平台。其特点是平台的自组性、拓扑的动态性、结点的平等性、控制的分布性、路由的多跳性以及安全的不可靠性。由于移动计算平台中结点的不可信性，传统的安全机制和方法很难完全保证该移动计算平台的安全性和可靠性。本课题拟在可信平台模块TPM的安全体系结构基础上研究可信移动计算平台中可信软件的建模、验证与评估技术，即基于B抽象理论方法的移动计算平台可信软件建模技术；研究移动计算平台移动应用软件可信性质度量技术与基于模型检测的可信性质形式化验证技术；采用模糊集合理论研究移动计算平台可信软件的可信评估技术；研究基于可信移动计算平台的可信路由协议软件以验证可信移动计算平台中通信软件的安全可靠性。本课题的目的就是在可信移动计算硬件平台的基础上建立一个可信移动计算软件平台以保证移动计算平台中各种移动应用软件的安全性和可靠性，进一步推动国内可信移动计算的研究和发展。