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

doi:10.3969/j.issn.0372-2112.2013.02.004

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

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

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

中国科学技术大学计算机学院,安徽合肥 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

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)

摘要/Abstract

摘要： 由于移动自组网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

中图分类号:

TP393

吴呈邑, 熊焰, 黄文超, 等. 移动自组网中基于动态第三方的可信公平非抵赖协议[J]. 电子学报, 2013, 41(2): 227-232.

WU Cheng-yi, XIONG Yan, HUANG Wen-chao, et al. A Trusted Fair Non-Repudiation Protocol Based on Dynamic Third Party in Mobile Ad Hoc Networks[J]. Acta Electronica Sinica, 2013, 41(2): 227-232.

参考文献

[1] T Tedrick.Fair exchange of secrets[A]. Proceedings of CRYPTO 84,Lecture notes in Computer Science[C].Germany:Springer Verlag,1985.196:434-438.
[2] O Markowitch,Y Roggeman.Probabilistic non-repudiation without trusted third party[A].Second Conference on Security in Communication Networks 99[C].Amal Italy:Kluwer Academic,1999.25-36.
[3] 熊焰,张伟超,苗付友,等.一种基于计算能力的无需可信第三方公平非抵赖信息交换协议[J].电子学报,2006,34(3):563-566. Xiong Yan,Zhang Weichao,Miao Fuyou,et al.A fair non-repudiation protocol without TTP based on ent ity's computing power[J].Acta Electronica Sinica,2006,34(3):563-566.(in Chinese)
[4] Pagnia H,Gartner F.On the Impossibility of Fair Exchange Without a Trusted Third Party[R].Darmstadt,Germany:Darmstadt University of Technology,1999.
[5] B Meng,Q Xiong.A securely fair non-repudiation protocol with TTP load lightly[A].The 8th International Conference[C].Germany:Springer,2004.2:13-17.
[6] E Brickell,J Camenisch,L Chen.Direct anonymous attestation .CCS'04 Proceedings of the 11th ACM Conference on Computer and Communications Security .New York:Association for Computing Machinery,2004.132-145.
[7] Huang Wenchao,Xiong Yan,Chen Depin.DAAODV:A secure ad-hoc routing protocol based on direct anonymous attestation[J].Computational Science and Engineering,2009,2:809-816.
[8] J-R Abrial,裘宗燕译.B方法[M].北京:电子工业出版社,2004.156-233. J-R Abrial,Qiu Trans.B Method[M].Beijing:Publishing House of Electronics Industry,2004.156-233.(in Chinese)
[9] DEPLOY.Event-B and the Rodin Platform[OL].http://www.event-b.org/index.html,2012.
[10] Huang Wenchao,Xiong Yan,Cheng Wenjuan.A formal specification of mobile trusted computing[J].Chinese Journal of Electronics,2011,20(1):11-16.
[11] 赵波,严飞,余发江.可信计算[M].北京:机械工业出版社,2009.11-245.

[1]	秦超霞, 郭兵, 沈艳, 苏红, 张珍, 周驰岷. 区块链的安全风险评估模型[J]. 电子学报, 2021, 49(1): 117-124.
[2]	宋敏, 谭良. 一种TPM2.0密钥迁移协议及安全分析[J]. 电子学报, 2019, 47(7): 1449-1464.
[3]	徐甫. 基于可信根的计算机终端免疫模型[J]. 电子学报, 2016, 44(3): 653-657.
[4]	徐明迪, 张焕国, 张帆, 杨连嘉. 可信系统信任链研究综述[J]. 电子学报, 2014, 42(10): 2024-2031.
[5]	谭良, 陈菊, 周明天. 可信终端动态运行环境的可信证据收集机制[J]. 电子学报, 2013, 41(1): 77-85.
[6]	刘衍珩;张婧;王健. TrANTHOCNET:信任性蚁群自组织路由算法[J]. 电子学报, 2012, 40(2): 319-326.
[7]	陈小峰;冯登国. 隐私增强直接匿名证明方案研究[J]. 电子学报, 2011, 39(9): 2166-2172.
[8]	王健;刘衍珩;张婧;刘雪莲. 移动自组网的主观信任建模与仿真[J]. 电子学报, 2011, 39(12): 2813-2819.
[9]	王晓东;霍广城;孙海燕;孟祥旭;孙言强. 移动自组网中基于部分网络编码的机会主义路由[J]. 电子学报, 2010, 38(8): 1736-1740.
[10]	谭良;刘震;周明天. TCG架构下的证明问题研究及进展[J]. 电子学报, 2010, 38(5): 1105-1112.
[11]	王世华;李晓勇. 基于策略的计算平台可信证明[J]. 电子学报, 2009, 37(4): 900-904.
[12]	李兴华;马建峰;马卓. 可信计算环境下的Canetti-Krawczyk模型[J]. 电子学报, 2009, 37(1): 7-12.
[13]	张晓菲, 许访, 沈昌祥. 基于可信状态的多级安全模型及其应用研究[J]. 电子学报, 2007, 35(8): 1511-1515.
[14]	李晓勇, 左晓栋, 沈昌祥. 基于系统行为的计算平台可信证明[J]. 电子学报, 2007, 35(7): 1234-1239.
[15]	熊焰, 张伟超, 苗付友, 王行甫. 一种基于计算能力的无需可信第三方公平非抵赖信息交换协议[J]. 电子学报, 2006, 34(3): 563-566.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics