8.1 素数 Prime Numbers 8.2 费马定理和欧拉定理 8.3 素性测试 8.4 Chinese Remainder Theorem 中国余数定理CRT 8.5 离散对数问题(discrete logarithm)

在固-液两相流理论和水力提升、射流泵扬矿等试验研究成果的基础上,对射流泵扬矿试验系统进行了仿真计算,并与KSB公司的海上工业性实验作了比较

16.1 IP安全性概述 6.2 IP安全体系结构 16.3 认证头标 Authentication Header 16.4 封装安全载荷ESP 16.5 安全关联组合 16.6 密钥管理 Key Management

将相似理论与正交试验设计引入计算机仿真方案的制定中，并使用大型通用非线性有限元软件MARC/AutoForge对异径四通管的液压胀形工艺过程进行了仿真．得到了最佳工艺参数．

3.1 分组密码的原理 3.2 数据加密标准DES 3.3 DES的安全强度 3.5 差分分析和线性分析

本章讨论加密逻辑功能所处的位置，使用加密防止通信量分析攻击的方法，密钥分配问题及随机数的产生。 7.1 密码功能的位置 7.2 传输保密性 7.3 密钥分配 7.4 随机数的产生

10.1.1 密钥管理之公钥的分配 10.1.2 公钥证书 10.1.3 利用公钥密码分配传统密码体制的密钥 10.2 Diffie-Hellman密钥交换 10.2.2 Diffie-Hellman密钥交换协议 10.3 椭圆曲线算术 10.4 椭圆曲线密码学 10.4.1 Diffie-Hellman的椭圆曲线实现 10.4.2 椭圆曲线加/解密

4.1 群, 环和域Groups, Rings, and Fields 4.2 Modular Arithmetic 4.3 欧几里得算法Euclid Algorithm 4.4 有限域GF(p) Galois Fields 4.5 多项式运算 4.6 有限域GF(2n)

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

– 带依赖类型的演算，包括依赖积与依赖和 – 概要介绍Dependent ML（DML），以此来展示怎样把依赖类型用到实际语言中，这是当前程序设计语言研究的一个课题 – 带广义积与广义和的直谓式演算，以及它们同SML及其相近语言的模块系统的联系