网络安全协议的形式化分析与验证 教学课件 作者 李建华 第一章 绪论.pptVIP

 第一章 绪 论;1.1 安全协议概述; 1.1 安全协议概述;信息在开放网络环境中传输遭受到的攻击： 偷听攻击 截取攻击 伪造攻击 篡改攻击 … 网络安全直接关系到信息系统安全，是整个信息基础结构的安全基础。 ;;;; 1.1.1 安全协议的基本概念;;;;几类重要的安全属性:;;;;;;;;;1.1.2 安全协议的缺陷分析;;;;; 1.1.3 安全协议的攻击手段;;;; ;;;;;;;;;;;;;;;1.1.4 安全协议形式化方法的必要性;;;1.2 形式化技术基础;1.2 形式化技术基础;1.2.1 模态逻辑技术;;;;1.2.2 模型检测技术;;;3．通信进程演算（CCS）;;1.2.3 定理证明技术;1.3 形式化方法在安全协议验证中的应用;1.3 形式化方法在安全协议验证中的应用; 1.3.1 安全协议形式化理论发展现状;1.网络安全协议的形式化分析技术;2．网络安全协议的形式化设计技术;3．网络安全协议的自动化分析与设计工具开发;1.3.2 安全协议形式化方法发展趋势;; 1.4 本章小结