移动自组网中无需可信第三方的可信认证协议研究

项目名称： 移动自组网中无需可信第三方的可信认证协议研究

项目编号： No.61202404

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 计算机科学学科

项目作者： 黄文超

作者单位： 中国科学技术大学

项目金额： 23万元

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

中文关键词： 移动自组网；公平非抵赖协议；无需可信第三方；形式化证明；

英文摘要： Mobile Ad Hoc Networks (MANET) is a non-central network with mobile nodes of non-trustworthy. As traditional security authentication scheme required Trusted Third Party (TTP) as authentication server, it is not sufficient to guarentee efficiency and safety in MANET. This subject is based on Trusted Platform Module (TPM) security architecture, and is to study the trusted authentication protocols without TTP. We also study the formal modeling, proof, verification, asssessment techiniques to ensure the trustworthiness. That is, we study the formal modeling and proof techniques of trusted authentication protocols based on Event B, the formal verification of the protocols based on Pi calculus, the dynamic assessment techniques based on association rules, and finally the trusted authentication procotols based on TELSA broadcasting for verifying safety of the previous formal techniques. The purpose of this subject is to build the trusted authentication protocols without TTP for avoiding the TTP efficiency bottlenecks, and formal methods to ensure the safety of trusted protocols in MANET, to further promote the research and development of Trusted Computing in China.

英文关键词： Mobile Ad-hoc Networks；fair non-repudiation protocol；without Trusted Third Party；formal vertification；