共查询到19条相似文献，搜索用时 140 毫秒
1.
非线性布尔函数在密码学、密码序列和编码等方面都有重要应用,特别是在流密码体制的设计和分析中,布尔函数更是占着主导地位.对广义布尔函数的表示方法、几种变换进行了研究,给出了广义布尔函数的一些结论. 相似文献
2.
本文概述了流密码中的布尔函数的设计准则,重点对流密码中常用的三类函数的研究现状与重要研究方向上的新成果进行了阐述,并指出了一些重要的研究热点问题. 相似文献
3.
4.
针对密码学中布尔函数的构造需求,利用布尔函数的谱表示,分析了其在可逆变换下的不变性质,探讨了如何将布尔函数的多种性质需求达到最优,给出了一种构造具有最大代数免疫阶的弹性函数的构造方法。 相似文献
5.
相关免疫是布尔函数抵抗相关分析能力的重要标志之一.文章介绍了研究广义相关免疫函数应具备的知识,包括:流密码体制、密码学中的布尔函数、分别征服代数攻击、相关免疫的界定.还介绍了相关免疫的推广,即广义相关免疫,说明了广义相关免疫能克服相关免疫与线性复杂度的矛盾.最后,对相关免疫的推广进行了综述研究. 相似文献
6.
布尔函数在计算机科学和数字电路与系统的设计中有着广泛的应用,本文研究对布尔函数进行表示和操作的二元判定图方法,对其中的ite算符的实现做了详细讨论,基于该算符能容易地完成二元判定图的计算机程序实现. 相似文献
7.
8.
9.
文章研究向量布尔函数互相关函数的性质以及利用向量Bent函数构造Bent函数。首先,利用WalshHadamard变换以及互相关函数的性质研究向量布尔函数的互相关函数与Walsh谱之间的关系,且进一步推导出任意4个向量布尔函数的互相关函数之间的关系。其次,给出向量布尔函数的平方和指标和绝对值指标的定义,并进一步推导出平方和指标的上界以及利用分类讨论法得到其达到上界的条件。最后,利用向量布尔函数绝对值指标的性质以及Walsh-Hadamard变换,给出由向量Bent函数构造Bent函数的方法。 相似文献
10.
耿海峰 《廊坊师范学院学报(自然科学版)》2011,11(3):8-10
主要讨论密码学中布尔函数性质,并提出了一个具有高代数免疫阶布尔函数的构造方法,利用这种方法可以构造一大类具有高代数免疫阶的布尔函数,并给出一些实例。 相似文献
11.
INTRODUCTION A variety of desirable criteria for functions have been identified: balancedness, local and global ava-lanche characteristics, high nonlinearity, etc. These properties are also very important for cryptographic purpose. Obtaining optimal tradeoffs among so many properties is hard. If we take into account more crite-ria, it is more difficult to generate Boolean functions satisfying those properties purely by constructive algebraic methods. How to construct Boolean func-tions … 相似文献
12.
盛集明 《荆门职业技术学院学报》2009,24(9):48-51
n维立方体是一个n-正则的二部图,既有实际应用价值又有理论价值。文中重点研究了n维立方体的Hamilton性质及可平面性质,证明了n维立方体是Hamilton图及非平面图,并且给出了一个具体构造Hamilton圈的方法。 相似文献
13.
14.
证明了布尔函数的零化子在其特征矩阵变换下具有同变性,由已知的代数免疫函数得到其它的代数免疫函数,并给出了若干实例. 相似文献
15.
针对密码学中布尔函数的代数免疫性,从代数攻击中超定义代数方程的构造出发,利用线性反馈移位寄存器和超定义方程的特点,分析了布尔函数f(x)的代数免疫性和h(x)的代数免疫性之间的关系,提出了布尔函数代数免疫的新特征和衡量布尔函数代数免疫稳定性的新指标。 相似文献
16.
本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行WalkSAT和Tabu-Sat(及其变种)的比较,其次,我们在层次图公式上比较了上述过程的改进版本,这些公式编码了随机生成层次图的最小化跨边问题.本文所引入的Tabu-Sat过程,当在搜索空间中检测到一个圈的时候,动态地改变Tabu长度参数.另一个被称为Vector-Tabu-Sat的过程,对所有的布尔变元进行独立的Tabu长度参数管理.一些数值实验的结果显示,我们改进的Tabu-Sat变种在子句个数增长的时候优于Walksat. 相似文献
17.
利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时,给出几个二进神经网络化简非线性可分Boolean函数的实例,具体说明该方法的有效性。 相似文献
18.
费如纯 《辽宁科技学院学报》2017,19(1)
文章讨论了单向函数的定义、安全性要求以及单向函数在密码学中的应用,涉及对称钥密码算法、报文算法及公开钥密码算法,进一步阐明了密码系统的基本思想:只要构造出足够安全的单向函数,就可以以之为基础构造足够安全的密码系统. 相似文献
19.
零知识证明协议按照实现的不同方式可以分成密码学方法的零知识证明协议和物理方法的零知识证明协议.与密码学方法的零知识证明协议相比较,物理方法的零知识证明协议简单明了,更容易被不具备密码学专业知识者所理解和接受,而无需借助计算机的帮助.本文在对经典的阿里巴巴山洞的零知识证明问题分析的基础上,又给出了几类问题物理方法的零知识证明方案,并进行了相应的分析. 相似文献