UC安全性证明中模拟器构造方法研究  

Methods research of constructing simulator in UC security proof

作　　者：张妤[1] 黄周晶 

机构地区：[1]解放军信息工程大学电子技术学院 [2]73671部队

出　　处：《计算机工程与设计》2012年第3期906-910,共5页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2007AA01Z405);河南省科技创新杰出青年基金项目(104100510025)

摘　　要：在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性的本质要求,指出了符合UC安全性本质要求的模拟器存在条件以及模拟内容,在此基础上,阐述了构造模拟器的方法,并给出了该方法的正确性分析。为正确使用UC模型进行密码协议的UC安全性证明提供了切实可行的方法。The difficulty of every security proof of cryptographic protocols in UC framework （universally composable security analysis framework） is to construct a simulator correctly. However, there is no generally effective method used to construct a simulator. A desired method is proposed. Firstly, the building principle of UC framework is researched, and the essential re- quirement of UC security is analyzed. Secondly, the existence condition and simulation content of a simulator are given. Finally, an effective and universal solution to prove the security of eryptographic protocols in UC framework is formulated. The method is helpful understanding UC framework in-depth and in analyzing cryptographic protocols accurately using the framework.

关 键 词：密码协议 通用可组合安全分析模型 安全性证明 模拟器 构造方法 

分 类 号：TN918[电子电信—通信与信息系统]