基于密钥循环的通用可复合符号分析

• 作者: 付浩 肖建新
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 安全协议 密钥循环 通用可复合 双线性对
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 信息处理与网络安全
• 页码范围: 1586-1591
• 页数: 6页
• 分类号: TP391
• 字数: 6824字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2017.08.027

摘要

针对目前越来越复杂的安全协议,在建立计算可靠的安全协议符号分析方法的深入研究,提出了一种解决该问题的新方法,即通用可复合符号分析方法.通过扩展现有通用可复合符号分析方法,使其可以分析基于双线性对的密钥交换协议,并在保证计算可靠性的同时,还可以保证可复合安全性.将符号模型中的密码学抽象操作与UC模型中的理想功能进行了结合,并且证明了如果协议在符号模型下满足了相应的安全性质,则在UC模型下一定安全的实现了相应的理想功能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	付浩	长沙师范学院教育技术中心	10	3	1.0	1.0
2	肖建新	长沙师范学院教育技术中心	2	3	1.0	1.0