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

摘要：

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

关键词：安全协议、形式化分析、模态逻辑、CKT5逻辑、密码系统相关缺陷

所属期刊栏目：27

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60404004

在线出版日期：2006-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1223-1228