调和UC模型和DDMP模型的方法

作者：张妤; 焦健密码协议安全性分析uc模型ddmp模型调和

摘要：通过对基于计算复杂性方法的UC模型和基于逻辑证明方法的DDMP模型这两种密码协议分析模型的研究和比较,提出结合两个模型的方法,证明两个模型中安全性的对应关系。应用示例结果表明,使用该密码协议分析方法能够得到通用可组合的、计算可靠的、清晰易检查的协议安全性形式化证明,有助于揭示UC模型中理想功能的结构内涵。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社