对具有高代数免疫度布尔函数的新型代数攻击

代数免疫度是衡量布尔函数抵抗代数攻击的重要性能指标,具有低代数免疫度的布尔函数是不能抵抗代数攻击的．利用分拆布尔函数的方法证明了如下结论: (1)对于对称布尔函数,即使它们具有高代数免疫度,如果使用不当仍然不能抵抗新型代数攻击; (2)对于由旋转对称函数和低次布尔函数的直和构成的布尔函数即便具有高代数免疫度,如果使用不当,也会受到新型代数攻击．提出的代数攻击需要一段连续的密钥流．     

代数免疫布尔函数的一个特征

借助覆盖向量刻画了代数免疫布尔函数的特征, 给出布尔函数代数免疫不大于某确定值的充要条件.该结果可用来研究正规布尔函数的代数免疫, 证明了 -正规布尔函数的代数免疫的上界是 .     

具有最高代数免疫阶的布尔函数的构造

利用布尔函数的代数标准型,总结了f与f+1具有高次数非零零化子的条件,得到布尔函数具有最高代数免疫阶的充分条件.构造了具有最高代数免疫阶的布尔函数,并对所构造函数的平衡性与对称性乾地了讨论.     

布尔函数的相关免疫性

利用布尔函数的重量分析方法对常规密码体制中密钥流生成器的相关免疫性进行了分析,得到了一些新结果.     

布尔函数代数免疫度分析

本文主要分析了布尔函数代数免疫度的性质,以及其与Hamming重量的关系,进一步分析了代数免疫度与非线性度的关系,并对各种结果进行了分析比较,得出了较优的结果,最后对布尔函数零化子计数问题进行了分析,这些分析对密码抵抗代数攻击具有重要意义。     

布尔函数的自动化设计

基于密码学在信息安全方面的重要性，改进了模拟退火方法，利用自动化设计了高非线性度、低自相关免疫性的密码函数，构造了更安全的密码。与数学构造方法相比，该方法具有设计自动化、高效的优点。     

多输出布尔函数代数免疫度的若干性质

证明了n进m出多输出布尔函数代数免疫度的上界不大于“（n—m）／2”,并分析了多输出布尔函数的代数免疫度与平衡性和非线性度之间的关系,证明了具有平衡性和高非线性度是多输出布尔函数具有高代数免疫度的必要条件。     

基于RM码最优代数免疫度奇元布尔函数的构造

根据按照奇数的3种情况分别给出的新向量集合和按照汉明重量划分的向量集合,对"择多"函数支撑集加以修改,提出了一种新的基于RM码最优代数免疫度的奇元布尔函数的构造方案。证明了该构造方案生成的奇元布尔函数具有最优的代数免疫度以及较高的非线性度。利用计算机程序验证了输入变量值n=11,13,15时所构造的函数具有接近次优的抵抗快速代数攻击的能力。所构造的奇元布尔函数为设计流密码的非线性组件提供了一种选择。     

偶变元1阶弹性最优代数免疫布尔函数的构造

半实物仿真是进行网络设计和分析的有效手段,文章对网络仿真工具OPNET中半实物仿真的实现机制进行了深入研究。从分析系统框架入手,介绍了半实物仿真的数据处理过程。并对半实物仿真的关键问题——包格式转换进行了深入研究。最后,基于OPNET设计了一个半实物仿真系统,实验结果表明通过半实物仿真,虚拟网络会对实际通信产生与真实网络相同的影响。     

serpent加密算法的差分代数攻击

研究了Serpent加密算法的差分特征,利用构造S盒代数方程的方法,提出了8轮Serpent-128的差分代数攻击方法.该方法分析8轮Serpent-128需要2¹¹⁰对选择性明文,2⁹⁶次8轮加密和次2⁹⁶次8轮解密,记忆存储空间为2¹¹⁰分组的空间来猜测8轮Serpent-128加密密钥的14位.     

布尔函数最优连续化

针对求取SP网络结构中布尔函数最优连续化在一定情况下是一个组合优化的问题。通过概率论和运筹学相结合的方法,将布尔函数连续化的问题转化为连续函数的线性和非线性规则问题,得到了布尔函数最优连续化函数的存在性和唯一性的证明。     

一些不平衡的初等对称布尔函数

文献[8]猜想n变元d次不平衡初等对称布尔函数X(d,n)具有唯一形式X(2t,2t+1l-1)。对于wt(d)=3,文献[9]给出了一些不平衡的X(d,n)。对于n=2t+1l-1,l为奇数,2t+1|/d,文献[10]证明了上述猜想。文献[11]证明了上述猜想对充分大的n成立,但没有估计n的大小。对于d=2tk,n=2t(2k+q)+m,k=2w(20+21+…+2s),文章证明了对于给定的s和q,如果w充分大(n也充分大),则wt(X(d,n))>2n-1,并且估计了w的大小,这个结果与文献[11]中的结果 wt(X(d,n))<2n-1不同。同时也证明了对于给定的w,q和t,如果s充分大(n也充分大),则wt(X(d,n))<2n-1。