发布时间 : 星期二 文章信息安全专业培养方案 - 40148更新完毕开始阅读
学 分：2.5 开课学期：秋
预修课程：计算机原理，CS01002C语言程序设计，CS02001数据结构及其算法 适用对象和学科方向：电子工程与信息科学
主要内容：本课程介绍数据库的基本原理、数据库技术的特点、数据库系统的组成与结构，
着重阐述当前广泛使用的关系数据库的基本概念、数据语言SQL，在此基础上进一步介绍关系数据库的规范化原理和关系数据库系统的设计方法。 主要讲授：数据库的基本概念（数据模型，数据库系统结构，数据库管理系统），关系数据库（关系数据结构，关系的完整性，关系代数，关系演算，关系数据库管理系统），关系数据库标准语言SQL（SQL概述，数据定义，查询，数据更新，视图，数据控制，嵌入式SQL），关系数据库设计理论（数据依赖，范式，关系模式的规范化），数据库保护（安全性，完整性，并发控制，恢复，数据库复制和数据库镜像），数据库设计（数据库设计的步骤，需求分析，概念结构设计，逻辑结构设计，数据库物理设计，数据库实施，数据库运行与维护），数据库管理系统和数据库技术新进展。
课 号：IN04202 课程名称（中文）：操作系统 课程名称（英文）：Operating System 学 时：60/20 学 分：3.5 开课学期：春
预修课程：微型计算机原理，CS01002C语言程序设计，CS02001数据结构及其算法 适用对象和学科方向：信息安全
主要内容：介绍现代操作系统的基本概念﹑系统结构和基本原理；例如，多道程序的并发
运行，进程之间的同步与互斥（包括线程之间的同步与互斥），假脱机I/O技术，操作系统的特性与性能，现代主要的操作系统（如Unix和Windows 2000）的系统结构。并且系统地阐述操作系统的进程管理、进程之间的同步与通信、作业管理、存储管理、设备管理和文件管理的概念和技术、使用的数据结构和算法；结合Unix和Windows 2000操作系统，系统地介绍现代操作系统引入的新概念和技术。
主要讲授：操作系统的基本概念，多道程序的并发运行，进程/线程调度与管理，进程之间的同步与互斥，并能用类Pascal或类C语言和阻塞等待信号量编程实现几个传统的进程之间的同步与互斥的程序模型，进程通信，死锁。进程与线程的管理、调度，作业管理与调度，分区存储管理、分页和分段存储管理和虚拟存储管理的技术，设备驱动程序、I/O系统及设备管理技术，文件管理技术，典型的操作系统（如Unix和Winodws2000，MS-DOS）文件系统的结构。
课 号：CS33011
课程名称（中文）：编译原理和技术
课程名称（英文）：Principles and Techniques of Compilers 学 时：60/30 学 分：3.5
13
开课学期：春
预修课程：CS02001 数据结构及其算法、汇编语言程序设计、CS01002C语言程序设计 适用对象和学科方向：计算机科学和技术 主要内容：一、教学目标和基本要求：
本课程介绍编译器构造的一般原理、基本设计方法和主要实现技术。目的是让学生对程序设计语言的设计和实现技术有深刻的理解，对和程序设计语言有关的理论有所了解，对宏观上把握程序设计语言来说，能起一个奠基的作用。
虽然只有少数人从事构造或维护程序设计语言编译器的工作，但是编译原理和技术对高校学生和计算机软件工程技术人员来说是重要的基础知识之一。学生通过本课程的学习还有助于快速理解、定位和解决在程序调试与运行中出现的问题。对软件工程来说，编译器是一个很好的实例（基本设计、模块划分、基于事件驱动的编程等），本课程所介绍的概念和技术能应用到一般的软件设计之中。
二、主要讲授：
本课程介绍编译器构造的一般原理、基本设计方法和主要实现技术，其内容包括词法分析、语法分析、语义分析、类型检查、运行时存储空间的组织和管理、中间代码生成、代码优化、目标代码生成、编译系统和运行系统等。
在介绍语言实现技术的同时，强调一些相关的理论知识，如形式语言和自动机理论、语法制导的定义和属性文法、类型论和类型系统等。它们是计算机专业理论知识的一个重要部分，在本课程中结合应用来介绍这些知识，有助于学生较快领会和掌握。
在介绍编译器各逻辑阶段的实现时，强调形式化描述技术，并以语法制导定义作为翻译的主要描述工具。
本课程强调对编译原理和技术的宏观理解及全局把握，而不把读者的注意力分散到一些枝节的算法上，如计算开始符号集合和后继符号集合的算法、回填技术等。出于同样的目的，本课程较详细地介绍了编译系统和运行系统。
本课程还介绍面向对象语言和函数式语言的实现技术，可加深学生对语言实现技术的理解。这两部分加上带星号的章节，作为教学的可选部分。
本课程鼓励读者用所学的知识去分析和解决实际问题，因此本课程的很多习题是从实际碰到的问题中抽象出来的。这些习题也能激发学生学习编译原理和技术的积极性。
课 号：IN04201
课程名称（中文）：信息安全综合设计与实践
课程名称（英文）：Experiments of Information Security 学 时：20/40 学 分：2 开课学期：秋
预修课程：CS02003计算机网络,CS53002操作系统 适用对象和学科方向：电子信息科学类
主要内容：课程主要介绍网络安全实践中常用技术与相关原理 。系统、全面地介绍了网络
安全中的端口扫描，漏洞扫描、防火墙、IPSec、入侵检测、恶意代码与计算机病毒的防治、系统平台安全以及应用安全。对以上各种安全技术给出了详实的理论讲解和实例分析，并配合大量实际操作验证实验。
14
主要讲授与实验 1 防火墙原理及其基本配置；2 端口扫描技原理与实践；3 DoS攻击；4 Ddos攻击与防范；5 入侵检测原理与Snort使用；6 古典密码学实验；7 PGP的原理与使用；8 缓冲区溢出基础；9 高级缓冲区溢出技巧与防范；10 防火墙设计结构。
课 号：IS03104
课程名称（中文）：面向对象程序设计语言
课程名称（英文）：Object-oriented Programming Language 学 时：40/30 学 分：2.5 开课学期：秋
预修课程：CS01002C语言程序设计、CS02001数据结构及其算法 适用对象和学科方向：计算机科学与技术或其他相关学科
主要内容：20 世纪80 年代，特别是90 年代以来，软件的规模进一步扩大，对软件可靠
性和代码可重用性的要求也进一步提高。在这样的背景下，面向对象的程序设计方法应运而生。和传统的程序设计方法相比，面向对象的程序设计具有抽象、封装、继承和多态性等特征。“面向对象”不仅仅作为一种技术，更作为一种方法论贯穿于软件设计的各个阶段。面向对象的技术在系统程序设计、数据库及多媒体开发等领域都得到广泛应用。目前，面向对象的程序设计思想已经主导了程序设计语言的发展。
主要讲授：对象的概念（抽象的过程、具有界面的对象、隐藏实现、重用实现、继承和重用界面、多态、创建和撤销对象、异常处理、分析和设计、极限编程、迁移的策略）、创建和使用对象（语言翻译的过程、分离编译的工具、Iostreams、Strings、读和写文件、向量）、数据抽象（基本对象、抽象数据类型、对象的细节、头文件、内嵌的结构）、隐藏实现（设置极限、存取控制、友元、类、处理类）、内联函数（预处理器的缺陷、内联函数、内联函数和编译器、预处理器的特点、改进的错误检查）、命名控制（静态成员、名字空间、静态初始化的依赖因素、转换连接指定）、引用和拷贝构造函数（指针、引用、拷贝构造函数、指向成员的指针）、运算符重载（警告和确信、语法、可重载的运算符、非成员运算符、重载赋值符、自动类型转换）、动态对象创建（对象创建、重新设计前面的例子、用于数组的new 和delete、用完内存、重载new 和delete）、继承和组合（组合语法、继承语法、构造函数的初始化表达式表、组合和继承的联合组合和继承的选择、保护、多重继承、渐增式开发向上映射）、多态和虚函数（向上映射、问题、虚函数、晚捆绑、为什么需要虚函数、抽象基类和纯虚函数、继承和VTABLE、虚函数和构造函数、析构函数和虚拟析构函数）、模板和包容器类（包容器和循环子、模板综述、模板的语法、Stash & stack 模板、字符串和整型、向量、模板和继承、多态性和包容器、包容器类型、函数模板、控制实例）、多重继承（概述、子对象重叠、向上映射的二义性、虚基类、开销、向上映射、避免MI、修复接口）、异常处理（抛出异常、异常捕获、清除、构造函数、异常匹配、标准异常、含有异常的程序设计、开销）、运行时类型识别（什么是RTTI、语法细节、引用、多重继承、合理使用RTTI、RTTI 的机制及花费、创建自己的RTTI、新的映射语法）。
15
课 号：IN13005
课程名称（中文）：现代通信原理
课程名称（英文）：Principles of Modern Communication 学 时：60/20 学 分：3.5 开课学期：春
预修课程：概率论与随机过程、IN13001信号与系统 适用对象和学科方向：通信工程、电子工程、信息工程
主要内容：通信系统组成、分类及主要性能指标；信道容量和信道噪声；信源编码；数字
基带传输；数字带通调制/解调；信道编码；多路复用和多址接入；同步原理；数字通信系统设计分析和新技术介绍。
主要讲授：数字通信基本概念和通信系统框图；信号与噪声、信道模型和信道容量(Shannon公式)；通信系统主要性能指标；信源编码(PCM、△M、DPCM、VQ)；无码间串扰(ISI)基带传输、高斯噪声干扰下二进制信号检测、相关编码(部分响应信号)、时域均衡；二进制和多进制带通调制/解调(ASK，FSK，PSK/DPSK，QPSK，DQPSK，QAM， MSK)和差错性能分析；高效带通调制；信道编码(线性分组码、卷积码)、调制和编码权衡；载波同步、码元同步、帧同步；通信资源共享和分配、多路复用和多址接入(FDM/FDMA、TDM/TDMA)；多载波调制(MCM)；通信系统设计分析。
课 号：IS03109
课程名称（中文）：网络协议工程
课程名称（英文）：The Protocol Engineering of Networks 学 时：40/20 学 分：2.5 开课学期：春
预修课程：CS53001离散数学、CS02003计算机网络 适用对象和学科方向：计算机或信息安全本科生
主要内容：以离散数学为基础的形式化方法和技术，与计算机、通信等学科相互交叉，形
成了一个新的分支----协议工程。目的是建立网络协议分析和设计中的系统、科学的方法和技术。
主要讲授：网络协议的定义及其基本要素、网络协议的分层结构和OSI模型、网络协议的开发过程等。网络协议的形式化模型，主要包括有限状态机、Petri网、时态逻辑和通信进程演算。网络协议的典型形式描述语言LOTOS和SDL。网络协议的形式化验证，主要包括网络协议性质概述、系统断言语言、不变性分析、可达性分析和符号模型检验等。有限状态机描述的网络协议综合。网络协议的测试，包括协议测试概述、协议测试语言TTCN、控制流测试序列设计和数据流测试序列设计。
学生通过试验可以掌握网络协议分析和设计工具的使用。
课 号：IS53103
课程名称（中文）：安全网管技术
课程名称（英文）：Security Network Management Technology
16