分组密码中的代替—置换网络的差分特性研究

本文研究了作为分组密码中代替置换网络的布尔函数的差分特性，首次定义并讨论了布尔函数差分重量与差分定序特征矩阵的性质，给出了一种构造满足文献「６」提出的１阶ｄｉｆｆｕｓｉｏｎ准则的代替－置换网络的方法，这种分组密码组体制对差分密友分析具有一定的免疫性。     

分组密码中的代替－置换网络的差分特性研究

本文研究了作为分组密码中代替－置换网络的布尔函数的差分特性，首次定义并讨论了布尔函数差分重量与差分定序特征矩阵的性质，给出了一种构造满足文献［６］提出的１阶ｄｉｆｆｕｓｉｏｎ准则的代替－置换网络的方法，这种分组密码体制对差分密码分析具有一定的免疫性。     

一种变体BISON分组密码算法及分析

该文基于Whitened Swap?or?Not(WSN)的结构特点,分析了Canteaut 等人提出的Bent whItened Swap Or Not –like (BISON-like) 算法的最大期望差分概率值(MEDP)及其(使用平衡函数时)抵御线性密码分析的能力;针对BISON算法迭代轮数异常高(一般为3n轮,n为数据分组长度)且密钥信息的异或操作由不平衡Bent函数决定的情况,该文采用了一类较小绝对值指标、高非线性度、较高代数次数的平衡布尔函数替换BISON算法中的Bent函数,评估了新变体BISON算法抵御差分密码分析和线性密码分析的能力。研究结果表明:新的变体BISON算法仅需迭代n轮;当n较大时(如n=128或256),其抵御差分攻击和线性攻击的能力均接近理想值。且其密钥信息的异或操作由平衡函数来决定,故具有更好的算法局部平衡性。     

一阶相关免疫函数的计数

通过研究布尔函数的线性结构，得到了一类满足一阶相关免疫的不具有线性结构的函数，由此给出了一阶相关免疫函数个数的一个新下界。     

一阶相关免疫布尔函数的计数

本文研究了结构布尔函数的相关免疫性，得到了一大类满足一阶相关免疫的线性结构函数的计数并大大改进了一阶相关免疫函数的计数结果，得到了目前为止的最好下界。     

一类二阶相关免疫布尔函数

本文给出了一种称为完全组的向量组，利用它构造了一类二阶相关免疫布尔函数，并对这类函数结构间的关系进行了论述。     

满足严格Avalanche标准的布尔函数的性质

本文讨论了满足严格Ａｖａｌａｎｃｈｅ标准的布尔函数的一个必要条件；对满足（ｎ－３）阶严格的Ａｖａｌａｎｃｈｅ标准（ＳＡＣ）的布尔函数，和所有次数不超过二次的满足任意阶严格Ａｖａｌａｎｃｈｅ标准的布尔函数，本文给出了它们的布尔多项式特征。     

流密码中非线性组合函数的分析与设计

从互信息的观点出发，本文研究了非线性组合函数与其部分变量的组合之间的相关性，探讨了这种相关性对流密码安全性的影响。利用Ｗａｌｓｈ变换，分析了Ｂｅｎｔ函数与其部分变量之间的相关性，给出了一类与Ｂｅｎｔ函数有相同渐近谱特性的布尔函数的结构。     

类CLEFIA动态密码结构抵抗差分密码分析能力评估

将动态思想融入分组密码设计,使得算法具有动态性能从而提高抗攻击能力,按照这种想法,本文提出"类CLEFIA动态密码结构",并通过建立两类不同密码结构的差分对应之间的联系,给出类CLEFIA动态密码结构的差分密码分析结果.具体地,对4r(r≥1)轮类CLEFIA动态密码结构,在轮函数都是双射时,证明了l(l≥1)轮差分特征至少有l-1个活动轮函数.     

一类密码函数的构造与分析

利用t+1个n元布尔函数(称为基函数)级联构造了一类n+t元布尔函数G(x,y),并给出了G(x,y)的Walsh循环谱和自相关系数。通过Krawtchouk多项式与Krawtchouk矩阵对G(x,y)和基函数的关系进行了研究。分析了G(x,y)的密码学性质:相关免疫性、扩散性和代数免疫性。特别地,当t=2时,分析了G(x,y)与基函数的具体关系。另外,一般化该构造方法构造了一类多输出布尔函数,给出了该类多输出布尔函数的广义Walsh循环谱,进而分析了该类多输出布尔函数的相关免疫性和代数免疫性。     

工程数学

015 95030019多值模代数中的减法与除法运算及其应用/吴训威,沈继忠傲州大学电子工程系)11电子学报一1995,23(2)一49~5会 提出并讨论了模加与模乘运算的逆运算一一模减与模除运算.它们的引人使模代数的取值域扩展到负数与分数,并以此建立相应的对称模代数与分数模代数系统.表4参16(文)环境中常返随机游动得到了较精确的结果.参7(北)0153.2 95030020关于布尔函数的差分结构/冯登国(西安电子科技大学信息保密所)11南京邮电学院学报一1994,14(4).一104~106 主要讨论了布尔函数的差分结构,说明了关于布尔函数的某些性质的研究实质上都可归结为其…     

布尔函数的线性结构的特征

本文首先利用布尔函数的特征集合对布尔函数的线性结构进行了刻划,给出了寻找布尔函数的线性结构的一种方法。其次引入了布尔函数的r型线性结构的概念,并对其进行了研究,同时还指出了布尔函数的r型线性结构的密码学意义。     

一类广义Feistel密码的安全性评估

该文评估一类广义Feistel密码(GFC)抵抗差分和线性密码分析的能力:如果轮函数是双射且它的最大差分和线性特征的概率分别是p和q,则16轮GFC的差分和线性特征的概率的上界为p7和q7;如果轮函数采用SP结构且是双射,S盒的最大差分和线性特征的概率是ps和qs,P变换的分支数为Pd,则16轮GFC的差分和线性特征的概率的上界为(ps)3Pd+1和(qs)3Pd+1。     

布尔函数的线性结构的特征

本文首先利用布尔函数的特征集合对布尔函数的线性结构进行了刻划，给出了寻找布尔函数的线性结构的一种方法，其次引入了布尔函数的ｒ型线性结构的概念，并对其进行了研究，同时还指出了布尔函数的ｒ型线性结构的密码学意义。     

类Piccolo结构的差分安全性评估

为丰富分组密码的设计,提出类Piccolo结构及其设计原理,并深入研究了类Piccolo结构抵抗差分密码分析的能力.通过研究差分特征的输入输出传递特性,得到任意轮类Piccolo结构的活动轮函数个数的一个下界.分析结果表明,在轮函数都是双射的条件下,当迭代轮数l≥6时,l轮类Piccolo结构的活动轮函数个数≥l;当迭...     

Bent函数与其变元的相关特性

本文利用Ｗａｌｓｈ谱研究了Ｂｅｎｔ函数与其变元的非线性组合之间的相关特性，得到了相关系数比文献［１］中的界更紧的界。同时给出了求布尔函数与其变元的布尔组合之间的相关系的一个算法。     

对AES算法的S盒布尔函数分析

分组密码的安全性很大程度上取决于分组密码中唯一的非线性结构S盒。论文对AES的S盒的代数性质进行分析,采用布尔函数的方法,先得到S盒的真值表,再求解S盒的布尔函数表达式,根据布尔函数表达式计算得出S盒的平衡性、正交性、线性性、差分均匀性质、鲁棒性、非线性性等代数性质,说明AES的S盒的安全性。     

两类动态密码结构抵抗不可能差分和零相关线性能力评估

动态密码的设计与分析是当前密码学领域研究的热点.本文针对类CLEFIA动态密码结构和四分组CLEFIA变换簇抵抗不可能差分和零相关线性分析的能力进行评估.当两类动态密码结构的轮函数为双射时,通过研究密码组件的可交换性质,证明了这两类动态密码结构各自置换等价于标准静态密码结构.利用建立的置换等价关系,通过构造静态密码结构不可能差分和零相关线性区分器,证明了4n轮类CLEFIA动态密码结构所有结构均存在8轮的不可能差分和零相关线性区分器,证明了4n轮四分组CLEFIA变换簇所有结构均存在9轮的不可能差分和零相关线性区分器.     

n元H—布尔函数（Ⅱ）

本文是杨义先以前工作的继续，利用特征矩阵分析ｎ无Ｈ－布尔函数的结构性质，求出了目前为止最好的计数下界。     

一种新的扩散混合机制

本文针对扩散混合新机制扩压函数，提出了它的基本设计原则。引入了级连布尔函数的概念，给出并证明了它的一些性质，在此基础上提出了单比特扩压函数的一种构造方法，并给出了一个具体的具有良好密码学性能且结构简单易于软硬件实现的单比特扩压函数实例。