电子学报 ›› 2013, Vol. 41 ›› Issue (2): 227-232.DOI: 10.3969/j.issn.0372-2112.2013.02.004
吴呈邑, 熊焰, 黄文超, 陆琦玮, 龚旭东
WU Cheng-yi, XIONG Yan, HUANG Wen-chao, LU Qi-wei, GONG Xu-dong
摘要: 由于移动自组网Manet(Mobile Ad-hoc Networks)是一个无中心的网络且不存在值得信任的结点,传统的公平非抵赖协议因需要一个固定可信第三方TTP(Trusted Third Party)而不足以保证Manet的高效性和安全性.本文在可信平台模块TPM(Trusted Platform Module)的安全体系结构基础上提出了一种Manet中基于动态第三方的可信公平非抵赖协议,以取代固定TTP,提高协议效率,并运用TPM完整性度量技术和DAA(Direct Anonymous Attestation)远程认证技术,保证证据可信.最后利用Event B对该协议进行形式化建模,证明其有效性和公平性.
中图分类号: