A篇 布尔函数基础理论 1
第一章 绪论 1
1.1 引言 1
1.2 布尔函数的表示 2
1.3 布尔函数的研究方法 6
1.4 布尔函数的研究问题 7
参考文献 8
第二章 布尔函数的性质 9
2.1 布尔函数的Walsh变换及其性质 9
2.2 布尔函数的线性性 13
2.3 布尔函数的非线性性 16
2.4 布尔函数的相关免疫性 20
2.5 布尔函数的平衡性 20
2.6 布尔函数的对称性 25
2.7 布尔函数不同性质之间的关系 31
2.8 密码学中布尔函数的基本性质 33
2.9 几类布尔函数的计数问题 35
参考文献 44
第三章 相关免疫函数 46
3.1 相关免疫函数的定义及研究方法 47
3.2 线性结构一阶相关免疫函数的构造与计数 50
3.3 非退化一阶相关免疫函数的构造与计数 59
3.4 一阶相关免疫函数的计数下界 63
3.5 高阶相关免疫函数的构造与计数 66
3.6 平衡m阶相关免疫函数 81
3.7 非退化高阶相关免疫函数的存在性 83
3.8 正交矩阵的递归生成算法 86
3.9 布尔函数的相关免疫性与其他密码学性质 88
3.10 满足k次扩散准则的平衡m阶相关免疫函数的构造 92
参考文献 94
第四章 Bent函数 97
4.1 Bent函数的定义与性质 97
4.2 Bent函数的构造 104
4.3 二次Bent函数 112
4.4 Bent序列 119
4.5 Bent函数与编码 125
参考文献 131
第五章 n元H布尔函数 133
5.1 H布尔函数的等价定义 133
5.2 4元H布尔函数 134
5.3 n元H布尔函数 142
5.4 n元H布尔函数的精确计数 153
5.5 n元H布尔函数的结构特征和计数下界 159
5.6 n元H布尔函数的构造 163
参考文献 167
第六章 布尔置换 169
6.1 多输出函数 169
6.2 多输出函数的性质 170
6.3 布尔置换 174
6.4 布尔置换的构造与计数下界改进 175
6.5 正形置换的构造与计数下界 178
参考文献 181
B篇 序列密码设计与分析中的布尔函数 183
第七章 序列密码 183
7.1 引言 183
7.2 序列密码原理 184
7.3 序列密码对密钥流的要求 185
7.4 密钥流生成器 187
7.5 移位寄存器序列 188
参考文献 198
第八章 密钥流序列 200
8.1 非线性前馈序列 200
8.2 非线性组合序列 202
参考文献 203
第九章 二元加法流密码及其分析 204
9.1 引言 204
9.2 二元加法非线性组合流密码的相关攻击 204
9.3 二元加法非线性组合流密码的线性逼近攻击 208
参考文献 211
第十章 序列密码中布尔函数的设计准则及研究 212
10.1 序列密码中布尔函数的设计准则 212
10.2 高非线性度布尔函数的构造 215
10.3 广义相关免疫函数 218
10.4 e-Bent函数 234
10.5 广义Bent函数 238
参考文献 244
C篇 分组密码设计与分析中的布尔函数 246
第十一章 分组密码与DES系统 246
11.1 引言 246
11.2 分组密码概述 247
11.3 分组密码的安全性 248
11.4 分组密码的设计原则 250
11.5 分组密码的结构 251
11.6 DES算法 252
参考文献 260
第十二章 分组密码分析 263
12.1 概述 263
12.2 线性分析方法 263
12.3 差分分析方法 268
参考文献 276
第十三章 分组密码中布尔函数的设计准则及研究 279
13.1 分组密码中布尔函数的设计准则 279
13.2 多输出函数的差分均匀性与鲁棒性 280
13.3 非线性最佳的多输出函数 289
13.4 满足严格雪崩准则和扩散准则的多输出函数 292
13.5 正形转换及其分组密码应用 293
13.6 分组密码中的代替-置换网络的差分特性研究 311
参考文献 316