10.16208/j.issn1000-7024.2016.10.008
调和UC模型和DDMP模型的方法
通过对基于计算复杂性方法的UC模型和基于逻辑证明方法的DDMP模型这两种密码协议分析模型的研究和比较,提出结合两个模型的方法,证明两个模型中安全性的对应关系.应用示例结果表明,使用该密码协议分析方法能够得到通用可组合的、计算可靠的、清晰易检查的协议安全性形式化证明,有助于揭示UC模型中理想功能的结构内涵.
密码协议、安全性分析、UC模型、DDMP模型、调和
37
TP393(计算技术、计算机技术)
国家自然科学基金青年科学基金项目61301233
2016-12-07(万方平台首次上网日期,不代表论文的发表时间)
共5页
2617-2621