电子科技大学：《网络安全与网络工程》课程教学资源（PPT课件讲稿）第六章 杂凑函数（主讲：聂旭云）

 The security environment  Basics of cryptography  User authentication  Intrusions and attacks  Protection mechanisms  Trusted systems

 5.1 Introduction and services  5.2 Error detection and correction  5.3 Multiple access protocols  5.4 Link-Layer Addressing  5.5 Ethernet  5.6 Hubs and switches  5.7 PPP

1: 网络安全简介 2: 信息安全的发展历程 3: 网络安全的定义 4: 网络安全防护体系 5: 网络安全的现状

并发程序精化验证及其应用（PPT讲稿）Refinement Verification of Concurrent Programs and Its Applications

◼单片机系统的三总线的构造 ◼半导体存储器 ◼程序存储器和数据存储器的扩展方法 ◼E2PROM的使用 ◼程序存储器和数据存储器的同时扩展

为什么模型检验？ 什么是模型检验？ 怎么做模型检验？ 更高更快更强 复杂系统模型检验

❖ ASCII码及其扩展 ❖ 中文信息在计算机内的表示 ❖ ISO/IEC 2022 ❖ 汉字编码字符集 ❖ GB2312-80 ❖ BIG-5 ❖ Unicode和ISO10646 ❖ GBK和GB18030

4.1 选择结构和条件判断 4.2 用if语句实现选择结构 4.3 关系运算符和关系表达式 4.4 逻辑运算符和逻辑表达式 4.5 条件运算符和条件表达式 4.6 选择结构的嵌套 4.7 用switch语句实现多分支选择结构 4.8 选择结构程序综合举例

Part 1 特征降维 Part 2 特征选择