摘要：轻量级认证加密算法ACORN v3作为CAESAR竞赛最终胜出的代表算法之一,其新颖的设计和轻量化高效实现的特点受到国内外密码学界的广泛关注.本文根据差分故障攻击模型,对ACORN v3用于认证时的抗差分故障攻击能力进行了分析:针对MAC长度有限造成唯一定位故障概率不高的问题,给出了提高唯一定位故障概率的交互验证策略和改进的高概率优先策略;证明了认证比特差分代数表达式具有特定的规律,据此将每次故障注入的猜测复杂度由49 bit降至0.713 bit;利用差分代数方法,给出了由认证比特差分建立相关内部状态低次方程的算法和基于方程求解的状态恢复攻击,攻击所需的计算复杂度为2^(0.713·n+0.415·N 3)·c,其中,n为故障注入次数,N3为需要线性化的方程个数,c是求解342比特变元线性方程组的复杂度,数据复杂度和存储复杂度可以忽略不计.

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

摘要：在对称密码设计中,组件的设计是一个重要的问题.为了达到某种设计思想,需要选用满足某种性质或指标的组件.拟群运算由于易于求逆且具有很好的平衡性,所以作为结合运算或压缩变换,在密码算法的设计中具有广泛的应用.分组密码IDEA中,通过使用三个"不相容"的群运算达到了混乱的目的,其中的"不相容"主要是指这些群运算作为拟群运算的非合痕性.本文从Pappus定理的几何意义出发,在固定四条直线的情况下,给出了另外两条直线的对应关系;并针对一个坐标分量,利用拉丁方截线扩张的方法,构造了一个可作为对称密码组件的拟群运算.接下来,我们给出-1的代数表达式,并证明了该拟群运算与IDEA算法中使用的三个拟群运算均不合痕.该运算的特点是:-1的代数表达式与结构相似;由于拟群运算具有较强的数学结构,所以可不使用查表方式实现,这对提升算法的硬件效率很有好处.

摘要：本文旨在说明一个掩码字节在密码算法同一轮中的不同环节多次纵向重用是不安全的.针对Oswald等人的一种掩码方案在同一轮内的三个信息泄露点,给出了二阶相关能量分析和碰撞攻击两种方案.基于AT89S52单片机最小系统,完成了实际的能量分析攻击.实验表明,二阶CPA可通过30000条波形直接恢复完整的128 bit密钥,而碰撞攻击只需要10000条波形即可完成碰撞检测,但需要结合一定数量的搜索来恢复密钥.最后,本文建议掩码可以在轮间纵向重用,而不可在轮内纵向重用或横向重用,为芯片设计者提供一定的理论指导.

摘要：文章针对密文检索中难度较大的字符串模糊检索问题,利用El Gamal公钥算法和序列算法的密码性质,设计出一种新的密码加密方案,并在外包数据库环境中实现了基于密文的字符串检索。通过分析表明,该方案并不以损害安全性为代价,并将时间和空间性能损失控制在有限的、可接受的范围之内。