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

摘要：

在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法.研究了UC模型的构建原理,分析了UC安全性的本质要求,指出了符合UC安全性本质要求的模拟器存在条件以及模拟内容,在此基础上,阐述了构造模拟器的方法,并给出了该方法的正确性分析.为正确使用UC模型进行密码协议的UC安全性证明提供了切实可行的方法.

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

所属期刊栏目：33

分类号：TN918

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

在线出版日期：2012-06-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：906-910