电子学报 ›› 2013, Vol. 41 ›› Issue (2): 227-232.DOI: 10.3969/j.issn.0372-2112.2013.02.004

• 学术论文 • 上一篇    下一篇

移动自组网中基于动态第三方的可信公平非抵赖协议

吴呈邑, 熊焰, 黄文超, 陆琦玮, 龚旭东   

  1. 中国科学技术大学计算机学院,安徽合肥 230027
  • 收稿日期:2012-03-13 修回日期:2012-06-23 出版日期:2013-02-25
    • 作者简介:
    • 吴呈邑 男,1987年出生于江西进贤.2009年获中国科学技术大学计算机科学与技术系学士学位.现为中国科学技术大学计算机学院在读硕士,从事网络安全、形式化分析以及可信计算方面的研究. E-mail:wuchengyi@mail.ustc.edu.cn 熊 焰 男,1960年出生于安徽合肥.中国科学技术大学计算机学院教授,主要研究方向为分布式处理、移动计算、计算机网络和信息安全. E-mail:yxiong@ustc.edu.cn 黄文超 男,1982年出生于湖北.中国科学技术大学计算机学院在读博士后,主要研究方向为系统安全、可信计算、形式化分析及计算机网络.
    • 基金资助:
    • 国家自然科学基金 (No.60970128,No.61170233); 博士后基金 (No.2011M501397)

A Trusted Fair Non-Repudiation Protocol Based on Dynamic Third Party in Mobile Ad Hoc Networks

WU Cheng-yi, XIONG Yan, HUANG Wen-chao, LU Qi-wei, GONG Xu-dong   

  1. School of Computer Science and Technology, University of Science and Technology of China, Anhui, Hefei 230027, China
  • Received:2012-03-13 Revised:2012-06-23 Online:2013-02-25 Published:2013-02-25
    • Supported by:
    • National Natural Science Foundation of China (No.60970128, No.61170233); Post-doctoral Foundation (No.2011M501397)

摘要: 由于移动自组网Manet(Mobile Ad-hoc Networks)是一个无中心的网络且不存在值得信任的结点,传统的公平非抵赖协议因需要一个固定可信第三方TTP(Trusted Third Party)而不足以保证Manet的高效性和安全性.本文在可信平台模块TPM(Trusted Platform Module)的安全体系结构基础上提出了一种Manet中基于动态第三方的可信公平非抵赖协议,以取代固定TTP,提高协议效率,并运用TPM完整性度量技术和DAA(Direct Anonymous Attestation)远程认证技术,保证证据可信.最后利用Event B对该协议进行形式化建模,证明其有效性和公平性.

关键词: 公平非抵赖, 可信计算, 移动自组网, 动态第三方

Abstract: Traditional fair non-repudiation protocol which need a fixed trusted third party could not assure the high efficiency and security of Manet because the Manet is centralless and no nodes can be trusted. So we propose a fair non-repudiation protocol for Manet based on the secure architecture of trusted platform module,which use dynamic third party instead of traditional fixed trusted third party to improve the efficiency of the protocol,and ensure the evidences is trusted by using the integrity measurement and the interface of direct anonymous attestation based on trusted platform module. Then we modeling the new protocol formally by Event B,and prove the validity and the fairness of the protocol.

Key words: fair non-repudiation, trusted computing, mobile Ad Hoc network, dynamic third party

中图分类号: