一种基于模重写系统的攻击者推理方法

• 作者: 李大海 王亚弟 王静 韩继红
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 等式理论 代数特性 模重写系统
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1918-1921,1936
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.05.092

摘要

为了解决安全协议验证中攻击者模等式理论推理的可操作性问题,提出并设计了一种基于模重写系统的攻击者推理方法.该方法建立在一个反映两种密码原语代数特性的联合理论实例之上,由一组定向的重写规则和非定向的等式构成,前者进一步转换为项重写系统(term rewriting system,TRS),而后者则转换为有限等价类理论,通过定义项间的模重写关系,使两者构成一个可以反映攻击者针对联合理论代数项操作能力的模重写系统.实例分析表明,该模型为攻击者模等式推理规则赋予了明确的操作语义,可以使攻击者达到对安全协议代数项规约、推理的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	李大海	解放军信息工程大学电子技术学院	3	2	1.0	1.0
4	王静	解放军信息工程大学电子技术学院	3	0	0.0	0.0