基于双线性对的踪迹属性计算可靠性分析

• 作者: 付浩
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 安全协议 计算可靠性 踪迹属性 双线性对
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 信息处理与网络安全
• 页码范围: 1360-1365
• 页数: 6页
• 分类号: TP391
• 字数: 6620字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2017.07.027

摘要

针对目前越来越复杂的安全协议,在建立计算可靠的安全协议符号分析方法的深入研究,提出了一种解决该问题的新方法,即踪迹属性的计算可靠性分析方法.关于踪迹属性的计算可靠性分析方法研究,在主动攻击者模型下,提出了计算可靠且支持双线性对、公钥加密、数字签名的安全协议符号模型,该模型明确指定双线性对实例生成器、加密算法和签名算法需要满足的安全假设,并证明了在满足这些安全假设的条件下,符号方法分析的踪迹属性蕴含计算方法分析的踪迹属性,这证明了该模型具有计算可靠性.

作者信息

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