• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

局域网的特点及安全性分析 VLAN安全技术及应用 VPN安全技术及应用 3.1 局域网安全问题 3.2 访问控制技术 3.3 VLAN安全技术及应用 3.4 VPN安全技术及应用 3.5 备份技术 3.6 归档技术 3.7 容错技术

防火墙概述 防火墙分类 防火墙硬件技术 防火墙软件技术 防火墙分级 防火墙功能 防火墙性能 防火墙安全性 防火墙部署 防火墙管理 防火墙可靠性 防火墙典型应用 防火墙技术发展展望 怎样选择防火墙

WINDOWS安置 系统体系结构 安全安装 系统服务与进程 安全审核 系统启动过程 访问控制 系统的安全级别 账号安全策略 WINDOWS 管理员权限 系统安全架构 网络服务安全设置 安全子系统 文件系统的安全 账户管理 安全日志 身份认证 其他安全设置 验证授权 WINDOWS器安置 安全审计 WINDOWS统安 安全策略 WINDOWS NT系统标准配置 其他 WINDOWS 2000系统标准配置

▪ 了解加密技术的发展及其相关知识 ▪ 掌握加密技术的原理 ➢最基本的加密算法 ➢对称加密算法原理 ➢非对称加密算法原理

1.1 网络安全的社会意义 1.2 网络安全基本概念 1.3 网络安全面临的威胁 1.3.1 网络安全面临的威胁 1.3.2 网络出现安全威胁的原因 1.3.3 网络安全面临的困难

– 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码 – 用语法制导定义和翻译方案来说明源语言的各种 构造怎样被翻译成中间形式

• 概述面向对象语言的重要概念和实现技术 • 以C++语言为例，介绍如何将C++程序翻译成C程序 • 实际的编译器大都把C++程序直接翻译成低级语言程序

7.1 图的定义和术语 7.2 图的存储结构 7.3 图的遍历 7.4 图的连通性问题 7.5 有向无环图及其应用 7.6 最短路径

6.1 树的定义和基本术语 6.2 二叉树 6.3 遍历二叉树和线索二叉树 6.4 树和森林 6.6 赫夫曼树及其应用 6.5 树与等价问题 6.7 回溯法与树的遍历 6.8 树的计数