Otway-Rees协议并行攻击的SG逻辑分析

网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见。该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法——SG逻辑,应用它对改进版的Otway-Rees协议进行了分析,找出了BAN类逻辑所不能分析出来的缺陷,针对该缺陷给出了协议的进一步改进,并推证了改进后的协议对SG逻辑的分析是安全的。     

一种基于演化计算的序列密码分析方法

序列密码是一类重要的密码,演化计算是一种重要的智能计算。在研究利用演化计算进行序列密码分析方法的基础上,具体给出了一种利用演化计算对非线性滤波型序列密码体制进行分析的方法。分别在移位器初态未知和抽头位置未知两种情况下,对滤波流密码体制进行了密码分析。实验结果表明,该算法的攻击复杂度远远小于穷举攻击的复杂度。     

有限域上多项式f（x^t）的不可约因式的周期

本文给出了由有限域Ｆｑ上不可约多项式ｆ（ｘ）的周期和次数确定多项式ｆ（ｘ＾ｔ）的不可约因式的周期和次数的方法，这里ｔ是与ｑ互素的正整数。     

一般SPT模型的抗差分和线性攻击安全性研究

为安全高效地在序列密码设计中应用SP网络,研究了一般SPT模型的抗差分攻击和线性攻击的能力,其中,S和T表示2个不同的可实现压缩的混淆层,P代表扩散层。给出了P为最佳扩散层时SPT模型的最大差分概率上界,给出了P为最佳扩散层且S和T均平衡时的最大线性逼近优势和最大线性包优势的上界,从而部分解决了该模型的抗差分和线性攻击安全性评估问题。