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

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

作　　者：张妤[1] 阴建强 胡杰[3] 

机构地区：[1]郑州信息科技学院三系,郑州450004 [2]郑州电子信息中等专业学校,郑州450100 [3]装甲兵工程学院,北京100072

出　　处：《计算机工程》2013年第2期125-129,共5页Computer Engineering

基　　金：国家"863"计划基金资助项目(2007AA01Z405)

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

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

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]