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