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