基于同态的安全协议攻击及其形式化验证

• 作者: 周志勇 王亚弟 郭渊博 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 攻击 同态 等式理论
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 安全技术
• 页码范围: 144-146,165
• 页数: 4页
• 分类号: TP3
• 字数: 4137字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.07.049

摘要

介绍2种利用加密算法同态特性的安全协议攻击,定义安全协议项代数表示和基于角色行为序列的协议模型,提出一种基于角色行为实例交互的安全协议约束序列生成方法,应用等式理论将Dolev D等人提出的Dolev-Yao模型(IEEE Transactions on Information Theory, 1983, 第12期)进行扩展,设计攻击者一阶逻辑演绎系统,采用约束求解方法对NSL协议进行建模和形式化验证,发现基于"完美密码系统假设"无法验证的同态攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	郭渊博	解放军信息工程大学电子技术学院	76	462	13.0	17.0
4	周志勇	解放军信息工程大学电子技术学院	1	2	1.0	1.0