17.1 Web安全性思考 17.2 安全套接层与传输层的安全 17.2.2 SSL记录协议 17.3 安全电子交易

15.1 PGP(Pretty Good Privacy) 15.2 S/MIME (Secure/Multipurpose Internet Mail Extensions)

14.1 Kerberos 14.2 X.509认证服务 14.3 公开密钥的全局管理体制PKI

13.1 数字签名Digital Signature 13.2 认证协议 13.3 数字签名标准(DSS)

6.1 多重加密与三重DES算法 6.2 分组密码的工作模式 6.3 流密码和RC4

2.1 对称密码系统的模型 2.2 代换密码(Substitution) 2.3 Transposition Ciphers 置换密码 2.4 Rotor Machines转轮密码机 2.5 Steganography隐写术

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章 引言