中文摘要：

由于移动自组网(MANET)是一个无中心的网络且不存在任何一个值得信任的移动节点，传统的安全认证方案因需要一个可信第三方(TTP)来提供认证服务而不足以保证MANET的高效性和安全性。本课题拟在可信平台模块(TPM)安全体系结构基础上提出一个无需TTP的可信认证协议，并研究该协议的形式化建模、证明、验证、评估技术以保证其可信性。即研究基于Event B的的可信认证协议形式化建模与证明技术；研究基于Pi演算的可信认证协议形式化验证技术；研究基于关联规则的可信认证协议动态评估技术；研究基于TELSA广播的可信认证协议以验证其安全性。本课题的目的就是为MANET提供一个无需TTP的可信认证协议，避免TTP带来的效率瓶颈问题，保证协议高效运行，并通过形式化方法完善协议软件，确保可信认证协议安全运行，为MANET中各种应用软件提供可信保障，进一步推动我国可信计算的研究和发展。