AlgebraicCryptanalysis 代数密码分析InequalitiesforDifferential .PDF

　　　国外科技新书评介　　２０１０年第９期　（总第２８１期）　　数　学 Ｂａｒｄ Ｋｅｅｌｏｇ作为运行实例，包括了对方程进行 ＡｌｇｅｂｒａｉｃＣｒｙｐｔａｎａｌｙｓｉｓ 运算寻求解答，并且把流密码 Ｔｒｉｖｉｕｍ以 ２００９ 及它的变异Ｂｉｖｉｕｍ－Ａ和Ｂｉｖｉｕｍ－Ｂ及流 Ｈａｒｄｂａｃｋ 密码家族ＱＵＡＤ作为拓展实例加以分析， ＩＳＢＮ９７８０３８７８８７５６２ 同时包括了对几个已公布攻击的概括。 　　本书是专门为计算机科学及数学专 业高年级学生设计的，可用作辅助教课书 或者自学指导参考书。 代数密码分析 胡光华，高级软件工程师 Ｇ．Ｖ．巴德　　著 （原中国科学院物理学研究所） 　　代数密码分析是一个通过求解方程 ＨｕＧｕａｎｇｈｕａ，ＳｅｎｉｏｒＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒ 的多项式系统来破译密码的过程。进入 （ＦｏｒｍｅｒＩｎｓｔｉｔｕｔｅｏｆＰｈｙｓｉｃｓ，ＣＡＳ） 代数密码分析领域的第一步是具有有关 抽象代数和密码学的背景知识。 　　本书共有１５章，分成三个部分。１．绪 论：怎样使用本书，内容包括对本书各章及 附录内容进行概括。第一部分密码分析， Ａｇａｒｗａｌ 包括第２－５章，内容涉及将密码转换成方 ＩｎｅｑｕａｌｉｔｉｅｓｆｏｒＤｉｆｆｅｒｅｎｔｉａｌ 程系统。２．分组密码 Ｋｅｅｌｏｇ与代数攻击； Ｆｏｒｍｓ ３固定点攻击；４迭代排列；５流密码。 ２０１０ 第二部分线性系统 Ｍｏｄ２，包括第６－１０ Ｈａｒｄｂａｃｋ 章，作者描述了有限域线性代数。６有关 ＩＳＢＮ９７８０３８７３６０３４８ ＧＧＦＦ（２）线性代数的某些基本事实；７ＧＧＦＦ （２）的复杂性：矩阵运算；８某些矩阵运算 的阶；９俄罗斯四法；１０二次筛法。第三 部分多项式系统与可满足性，包括第 １１－ 微分形式不等式 １５章，该部分论述了方程多项式系统的解 Ｒ．Ａ．阿伽瓦尔等　　著 以及对在实践中使用方法的调研，包括了 　　近些年来，微分形式在许多科学领域 ＳＡＴ解算器和 ＮｉｃｏｌａｓＣｏｕｒｔｏｉｓ方法。１１ （如物理学、广义相对论、弹性理论、拟共形 多项式系统策略；１２用于求解多项式系统 分析、电磁理论以及微分几何学等）得到广 的算法；１３将ＭＱ问题转换成ＣＮＦ－ＳＡＴ 泛应用，并被深入研究。特别是，它们可以 问题；１４ＳＡＴ解答器是怎样运算的；１５把 用来刻画各种偏微分方程组和表述流形上 ＳＡＴ解算器应用于低度扩充字段。最后是 的微分几何结构，成为许多领域有用的数 ５个附录。附录Ａ关于小块分组密码的哲 学工具。本书给出这些研究成果的系统论 学；附录Ｂ适用于ＧＧＦＦ（２）低度拓展的域乘 述，着重于微分形式的局部和整体估计以 法定律公式；附录Ｃ多项式、图的着色及 及与各种微分形式（特别是满足不同类型 其他应用；附录Ｄ极稀疏矩阵的选项；附 的调和方程的微分形式）有关的不等式