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

摘要

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