分析安全协议密码系统相关缺陷的模态逻辑方法

• 作者: 毛晨晓 王煦法 罗文坚
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 安全协议 形式化分析 模态逻辑 CKT5逻辑 密码系统相关缺陷
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1223-1228
• 页数: 6页
• 分类号: TP309
• 字数: 6780字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2006.07.016

摘要

安全协议未采用适当的密码系统来实现,会使最终的安全协议存在密码系统相关缺陷.对该类缺陷进行形式化分析时,不能使用完善的密码系统假设,这是安全协议形式化分析研究中的一个难点.以CKT5逻辑为基础,以对称密码算法为重点,将序列密码算法和分组密码算法的特性,以逻辑推理规则的形式引入到CKT5逻辑框架中,使得扩展后的逻辑能够用于分析安全协议密码系统相关缺陷.并用实例说明了如何使用扩展逻辑来分析密码系统相关缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王煦法	中国科学技术大学计算机科学与技术系	191	4142	33.0	58.0
2	罗文坚	中国科学技术大学计算机科学与技术系	31	691	14.0	26.0
3	毛晨晓	中国科学技术大学计算机科学与技术系	4	14	3.0	3.0