文献类型：期刊文章

作　　者：张妤[1] 黄周晶[2]

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

出　　处：《计算机工程与设计》

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

年　　份：2012

卷　　号：33

期　　号：3

起止页码：906-910

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

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

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

分 类 号：TN918]