形式化攻击者能力描述的计算可靠性研究

• 作者: 丁勇 王育民 田海博
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全协议 形式化攻击者 计算性攻击者
• 年，卷（期）: 2006,（5）
• 页码范围: 800-803,823
• 页数: 5页
• 分类号: TP393
• 字数: 4158字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2006.05.029

摘要

研究在安全协议仅使用数据完整性算法时,形式化分析方法中形式化攻击者能力描述的计算可靠性.首先假设计算性攻击者的能力超过形式化攻击者的能力,然后构造攻击实验,进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾,因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论.基于该结论,可以构建或者改进形式化分析系统,使其具有计算可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王育民	西安电子科技大学综合业务网理论与关键技术国家重点实验室	244	2283	26.0	36.0
2	丁勇	桂林电子工业学院计算机科学与数学系	54	227	9.0	12.0
3	田海博	西安电子科技大学综合业务网理论与关键技术国家重点实验室	6	57	5.0	6.0