移动自组网无需可信第三方的可信公平非抵赖协议研究

项目名称： 移动自组网无需可信第三方的可信公平非抵赖协议研究

项目编号： No.61170233

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 熊焰

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

项目金额： 59万元

中文摘要： 由于移动自组网Manet中所有结点的不可信性，传统的信息安全机制和方法因需要一个集中提供非抵赖服务的可信第三方TTP而无法完全保证Manet的安全性和可靠性。本课题拟在可信平台模块TPM的安全体系结构基础上提出一个无需TTP的可信非抵赖协议，并研究该协议及软件的形式化建模、证明、评估、检测与验证技术以保证其可信性即研究基于Pi演算的可信公平非抵赖协议形式化建模和验证技术；研究基于高阶逻辑的可信公平非抵赖协议软件的形式化建模与证明技术；研究基于数据挖掘的可信公平非抵赖协议的动态评估技术；研究基于模型检测的可信公平非抵赖协议软件的形式化检测技术；研究Manet中无需可信第三方的可信公平非抵赖协议软件以验证其安全可靠性。本课题的目的就是为Manet提供一个无需TTP的可信公平非抵赖协议软件以便彻底抛弃TTP，克服现有无需TTP公平非抵赖协议的概率公平缺点，进一步推动国内可信移动计算的研究和发展。

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

英文摘要：

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