密码算法的组件设计与安全性分析,作为密码学领域的热点问题,在序列密码、分组密码和Hash函数的设计与分析中具有十分重要的意义。本文首先研究了作为密码算法重要组件的布尔函数的设计理论,主要研究了满足特定密码学指标的旋转对称布尔函数的构造与计数问题;而后讨论了密码算法的分析方法,对一些常见的分组密码算法,以及Hash函数中的分组密码组件进行了安全性分析。在布尔函数设计理论的研究方面,取得的主要成果有:(1)研究了具有最大代数免疫度(MAI)的偶数元旋转对称布尔函数的构造问题。给出了一个包含n/2 - 1个不同构造的一般构造类和一个高非线性度的偶数元旋转对称MAI函数的具体构造。(2)研究了偶数元平衡旋转对称MAI函数的构造问题。给出了一个偶数元平衡旋转对称MAI函数的一般性构造,并以2m元平衡旋转对称MAI函数为例,得到了一类非线性度较高的2m元平衡旋转对称MAI函数的具体构造。(3)研究了平衡旋转对称布尔函数的计数问题。通过对相关方程组解的优化和分析,不仅改进了已有的关于pr(p为素数)元平衡旋转对称布尔函数的计数下界,并首次给出了一般奇数元平衡旋转对称布尔函数的计数下界。在密码算法的安全性分析方面,取得主要成果有:(1)对完整轮数ARIRANG加密模式抵抗相关密钥矩形攻击的能力进行了评估。利用初始密钥的一个线性变换和轮函数的全1差分特性,首次给出了完整轮数ARIRANG加密模式的相关密钥矩形攻击。结果表明:ARIRANG加密模式作为分组密码使用是不安全的,它不能抵抗相关密钥矩形攻击。(2)对完整轮数HAS-V加密模式抵抗相关密钥矩形攻击的能力进行了评估。通过对HAS-V加密模式中双管加密结构和密钥扩展算法的分析,给出了一个完整100轮HAS-V加密模式的相关密钥矩形区分器。结果表明:HAS-V加密模式是不能抵抗相关密钥矩形攻击的。(3)对HIGHT算法抵抗积分攻击的能力进行了研究。通过理论推导和实验模拟,将HIGHT算法设计者给出的两个12轮积分区分器进行了更正,同时推导出两个新的17轮高阶积分区分器,并详细给出了22轮HIGHT算法基于高阶积分区分器的积分攻击。(4)对Zodiac算法抵抗积分攻击的能力进行了深入的研究。已有结果显示,Zodiac算法存在两个8轮积分区分器,本文首先通过对Zodiac算法的等价结构,以及算法概率为1的截断差分的研究,构造了Zodiac算法形式上完全一致的两个新的9轮积分区分器。并对不同轮数的Zodiac算法,特别对完整轮数的Zodiac-192,实施了积分攻击。此外,本文还将Zodiac算法的9轮积分区分器扩展成高阶积分区分器,特别得到了完整16轮Zodiac算法的高阶积分区分器,并以15轮高阶积分区分器为例,给出了完整轮数Zodiac算法的高阶积分攻击。