论文摘要
本文主要运用概率论的思想和方法,并结合代数学和频谱理论的相关知识,对密码学中逻辑函数的有关性质进行了研究,主要包括以下三个方面的内容: 首先,对布尔向量函数的相关免疫性进行了拓展,给出了k维布尔向量函数m阶广义ε-相关免疫的概念,证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性,并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件,还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。 其次,对线性等价意义下两个布尔函数的密码学性质的异同作了进一步的分析,用概率方法给出了线性等价的两个布尔函数的自相关函数之间的关系,然后给出了一个布尔函数线性等价于某个具有m阶相关免疫性的布尔函数的充分必要条件和线性等价于某个满足k次扩散准则的布尔函数的充分必要条件。作为应用的例子,还由既不具有相关免疫性、也不满足严格雪崩准则的5元布尔函数出发,构造了与其线性等价的既具有相关免疫性、也满足严格雪崩准则的5元布尔函数。 最后,基于环Zpr,中的元的p-adic分解,给出了pr值随机变量的分解性质及pr值随机变量独立性的等价描述,然后在对pr值逻辑函数及其变元都进行p-adic分解的基础上,得到了p-adic分解意义下pr值逻辑函数k阶相关免疫的线性组合引理,并由此直接通过p值逻辑函数的Chrestenson循环谱给出了pr值逻辑函数k阶相关免疫的谱判别定理,最后据谱判别定理给出了构造2n元4值、2n元9值相关免疫逻辑函数的方法。
论文目录
相关论文文献
- [1].基于不相交锐积运算的逻辑函数错误率计算[J]. 宁波大学学报(理工版) 2020(02)
- [2].基于逻辑函数e导数的双逻辑综合[J]. 浙江大学学报(理学版) 2014(01)
- [3].逻辑函数化简方法分析[J]. 太原大学教育学院学报 2014(01)
- [4].含任意项逻辑函数布尔差分的图形化算法研究[J]. 浙江大学学报(理学版) 2009(06)
- [5].逻辑函数的代数化简法技巧剖析[J]. 浙江水利水电专科学校学报 2008(03)
- [6].一种新型逻辑函数化简方法——立体化简法[J]. 电脑与信息技术 2009(01)
- [7].逻辑函数的立体化简法及其实现[J]. 计算机应用与软件 2012(11)
- [8].计算机辅助特殊逻辑函数检测[J]. 浙江大学学报(理学版) 2009(03)
- [9].展开定理与逻辑函数不同表示形式的转换原理[J]. 渤海大学学报(自然科学版) 2017(04)
- [10].逻辑函数化简的教学难点与应对方法[J]. 电气电子教学学报 2016(05)
- [11].逻辑函数IF的应用技巧[J]. 中小学电教(下半月) 2009(06)
- [12].两类多输出逻辑函数的关系[J]. 计算机工程与应用 2008(13)
- [13].互斥多变量逻辑函数的化简方法[J]. 渤海大学学报(自然科学版) 2015(01)
- [14].五~八变量逻辑函数卡诺图化简法研究[J]. 承德民族师专学报 2011(02)
- [15].“格雷码”与“卡诺图”在逻辑函数化简中的综合运用[J]. 电脑知识与技术 2008(21)
- [16].针对一般式多变量逻辑函数的化简方法与技巧[J]. 电脑与电信 2015(10)
- [17].对称图法化简逻辑函数之对称方形图法[J]. 毕节学院学报 2012(04)
- [18].逻辑函数的双逻辑综合与优化[J]. 计算机辅助设计与图形学学报 2012(07)
- [19].基于真值表搜索的逻辑函数自动化简方法[J]. 中国现代教育装备 2010(17)
- [20].P值逻辑函数m阶k次扩散下的免疫性研究[J]. 科技创新导报 2009(03)
- [21].基于0-1编码空间谱变换的特殊逻辑函数检测[J]. 科技通报 2009(03)
- [22].多输入多输出单边逻辑函数补集算法的研究[J]. 计算机应用与软件 2008(01)
- [23].逻辑函数的布尔除/符合展开在固定极性下化简的表格方法[J]. 浙江大学学报(理学版) 2008(05)
- [24].卡诺图在教学中的应用[J]. 装备制造技术 2009(03)
- [25].用圆图化简多变量逻辑函数[J]. 湖南理工学院学报(自然科学版) 2008(01)
- [26].卡诺图在逻辑问题中的妙用[J]. 科技信息 2010(02)
- [27].基于谱技术检测特殊逻辑函数的新方法[J]. 浙江工业大学学报 2008(02)
- [28].AXIG及其在双逻辑综合中的应用[J]. 无线通信技术 2016(02)
- [29].优化构建逻辑函数的语法树[J]. 科技视界 2018(08)
- [30].卡诺图化简法在逻辑函数中的应用[J]. 信息与电脑(理论版) 2013(10)
标签:布尔向量函数论文; 相关免疫论文; 广义相关免疫论文; 线性等价论文; 循环谱论文; 自相关函数论文; 严格雪崩准则论文; 扩散准则论文; 分解论文; 值逻辑函数论文; 值随机变量论文;