-
题名布尔函数表达式的求解算法
被引量：4
- 1
-
-
作者
陈勤
陈伟
周律
-
机构
杭州电子工业学院计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第8期87-88,共2页
-
基金
国防科技重点实验室基金项目
-
文摘
文章分析了手工求解布尔函数表达式的常用方法,引入了布尔函数的基本积、最小积、最小积基集的概念,提出了布尔函数表达式的一种求解算法。
-
关键词
扩压函数
布尔函数
分组密码
密码学
布尔函数表达式
求解算法
-
Keywords
diffusion confusion function,Boolean function,basic multiplication,minimum multiplication,minimum multi-plication base set
-
分类号
TN918.1
[电子电信—通信与信息系统]
-
-
题名SHA-3轮函数中χ及θ变换的性质研究
- 2
-
-
作者
王淦
张文英
-
机构
山东师范大学信息科学与工程学院
山东省分布式计算机软件新技术重点实验室
-
出处
《计算机工程与科学》
CSCD
北大核心
2015年第2期281-287,共7页
-
基金
国家自然科学基金资助项目(61272434)
山东省自然科学基金资助项目(ZR2012FM004)
信息安全国家重点实验室开放课题资助项目(4050101)
-
文摘
Keccak自2012被宣布为新Hash函数标准SHA-3后受到众多学者的关注,成为当前的研究热点之一。χ及θ是Keccak轮函数中最重要也是最复杂的两个变换。首先对Keccak轮函数中唯一的非线性变换χ的性质进行分析,将χ表示为布尔函数表达式形式,对χ输入差分的32种情况逐一进行推导,得到32种输出差分的布尔函数表达式,进而构造出χ的输入输出差分分布表,并对其差分分布规律进行了分析。Double Kernel形式的差分保证差分通过θ变换时不被其扩散,针对文献[1]中的低汉明重量Double Kernel形式差分的搜索算法,提出了一种新的搜索算法,新算法的复杂度较之原算法有明显降低。实验和理论推导证明了汉明重量为4及以下的Double Kernel形式差分不存在。
-
关键词
HASH函数
Keccak
SHA-3
布尔函数表达式
差分分布
搜索算法
-
Keywords
Hash function
Keccak
SHA-3
boolean function expression
differential distribution
search algorithm
-
分类号
TP309.084
[自动化与计算机技术—计算机系统结构]
-
