基于防篡改硬件模型的UC安全承诺协议

doi:10.3969/j.issn.1000-3428.2013.02.025

计算机工程 ›› 2013, Vol. 39 ›› Issue (2): 125-129. doi: 10.3969/j.issn.1000-3428.2013.02.025

基于防篡改硬件模型的UC安全承诺协议

张妤 ¹，阴建强 ²，胡杰 ³

(1. 郑州信息科技学院三系，郑州 450004； 2. 郑州电子信息中等专业学校，郑州 450100；3. 装甲兵工程学院，北京 100072)

收稿日期:2011-11-01 出版日期:2013-02-15 发布日期:2013-02-13
作者简介:张妤(1982－)，女，博士研究生，主研方向：信息安全，密码学；阴建强，讲师；胡杰，工程师
基金资助:
国家“863”计划基金资助项目(2007AA01Z405)

Universally Composable Secure Commitment Protocol Based on Tamper-proof Hardware Model

ZHANG Yu ^1, YIN Jian-qiang ^2, HU Jie ³

(1. The 3rd Department, Zhengzhou Institute of Information Science and Technology, Zhengzhou 450004, China; 2. Zhengzhou Electronic Information Specialized Secondary School, Zhengzhou 450100, China; 3. Academy of Armored Forces Engineering, Beijing 100072, China)

Received:2011-11-01 Online:2013-02-15 Published:2013-02-13

摘要/Abstract

摘要： 从通用可组合(UC)框架的基本概念出发，分析UC安全性对承诺协议的要求，得出以下结论：朴素模型中不存在UC安全承诺协议是因为承诺协议的安全需求与UC安全性要求间存在矛盾。在此基础上提出一种基于防篡改硬件模型的UC安全承诺协议UCCOM。分析结果表明，UCCOM的安全性不依赖于可信第三方，与同类协议相比，使用的密码学操作更少，效率更高。

关键词: 承诺协议, 通用可组合安全性, 防篡改硬件, 隐藏性, 绑定性

Abstract: Beginning with the research of the basic concepts of Universally Composable(UC) framework, the requirement of UC security on commitment protocols is analyzed in this paper, and the reason of the problem that all UC commitment protocols do not exist in the plain model is pointed out that the security requirement of commitment protocol and the requirement of UC security are contradictory. On the basis of this, a UC secure commitment protocol UCCOM using tamper-proof hardware is proposed. Analysis result shows that UCCOM does not depend on any trusted third-party and uses fewer cryptographic operations compared with the related works, so it has higer efficiency.

Key words: commitment protocol, Universally Composable(UC) security, tamper-proof hardware, hiding property, binding property

中图分类号:

TP309.2

张妤, 阴建强, 胡杰. 基于防篡改硬件模型的UC安全承诺协议[J]. 计算机工程, 2013, 39(2): 125-129.

ZHANG Yu, LIN Jian-Jiang, HU Jie. Universally Composable Secure Commitment Protocol Based on Tamper-proof Hardware Model[J]. Computer Engineering, 2013, 39(2): 125-129.

http://www.ecice06.com/CN/Y2013/V39/I2/125

参考文献

[1] Canetti R. Universally Composable Security: A New Paradigm for Cryptographic Protocols[C]//Proc. of FOCS’01. Las Vegas, USA: [s. n.], 2001: 136-145.
[2] Trolin M. A Universally Composable Scheme for Electronic Cash[C]//Proc. of INDOCRYPT’05. Bangalore, India: [s. n.], 2005: 347-360.
[3] Kiayias A, Zhou H. Trading Static for Adaptive Security in Universally Composable Zero-knowledge[C]//Proc. of Conference on Automata, Languages and Programming. Wroclaw, Poland: [s. n.], 2007: 316-327.
[4] Green M, Hohenberger S. Universally Composable Adaptive Oblivious Transfer[C]//Proc. of ASIACRYPT’08. Melbourne, Australia: [s. n.], 2008: 179-197.
[5] Burmester M, Le T V, Medeiros B D, et al. Universally Composable RFID Identification and Authentication Protocols[J]. ACM Transactions on Information and System Security, 2009, 12(4): 1-33.
[6] 雷飞宇. UC安全多方计算模型及其典型应用研究[D]. 上海: 上海交通大学, 2007.
[7] 洪璇. 通用可组合数字签名模型及其关键问题研究[D]. 上海: 上海交通大学, 2008.
[8] 冯涛. 通用可复合密码协议理论及其应用研究[D]. 西安: 西安电子科技大学, 2008.
[9] 杨超. 无线网络协议的形式化分析与设计[D]. 西安:西安电子科技大学, 2008.
[10] 张俊伟. 密码协议的可组合安全[D]. 西安: 西安电子科技大学, 2010.
[11] 郭渊博, 王超, 王良民. UC安全的空间网络双向认证与密钥协商协议[J]. 电子学报, 2010, 38(10): 2358-2364.
[12] Chaum D, Crepeau C, Damgard I. Multi-party Unconditionally Secure Protocols[C]//Proc. of STOC’88. Chicago, USA: [s. n.], 1988.
[13] Canetti R, Kushilevitz E, Lindell Y. On the Limitations of Universally Composable Two-party Computation Without Set-up Assumptions[C]//Proc. of EUROCRYPT’03. Warsaw, Poland: [s. n.], 2003: 68-86.
[14] Canetti R, Lindell Y, Ostrovsky R, et al. Universally Composable Two-party and Multi-party Computation[C]// Proc. of STOC’02. Quebec, Canada: [s. n.], 2002: 494-503.
[15] Barak B, Canetti R, Nielsen J B, et al. Universally Composable Protocols with Relaxed Set-up Assump- tions[C]//Proc. of FOCS’04. Rome, Italy: [s. n.], 2004: 186-195.
[16] Katz J. Universally Composable Multi-party Computation Using Tamper-proof Hardware[C]//Proc. of EUROCRYPT’07. Barcelona, Spain: [s. n.], 2007: 115-128.

选择文件类型/文献管理软件名称

选择包含的内容

基于防篡改硬件模型的UC安全承诺协议

Universally Composable Secure Commitment Protocol Based on Tamper-proof Hardware Model

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价

[1]	齐庆磊, 张浩军, 王逸芳. 一种通用可组合安全的快速密钥交换协议[J]. 计算机工程, 2011, 37(20): 94-96.
[2]	卢明樊;刘胜利. 一种新的二次分发数字指纹协议[J]. 计算机工程, 2007, 33(17): 156-158.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

基于防篡改硬件模型的UC安全承诺协议

Universally Composable Secure Commitment Protocol Based on Tamper-proof Hardware Model

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价