文件名称：安全协议形式化的课程教案
文件大小：4.32MB
文件格式：RAR
更新时间：2014-03-22 18:26:46
安全协议 形式化 教案
有关网络安全协议形式化分析的课程ppt教案，包含安全协议的基本概念、形式化分析方法和工具的概述
【文件预览】：
网络安全协议的形式化分析与验证-PPT
----第二章 基于模态逻辑技术的安全协议分析方法.ppt(1.31MB)
----第九章 群组通信安全协议及其分析.ppt(1.9MB)
----第一章 绪论.ppt(536KB)
----第六章 Internet密钥交换协议.ppt(920KB)
----第三章 基于模型检测技术的安全协议分析方法.ppt(1.12MB)
----第七章 电子商务安全协议及其分析.ppt(367KB)
----第五章 安全协议的形式化设计方法.ppt(240KB)
----第四章 基于定理证明的安全协议分析方法.ppt(2.37MB)
----第八章 移动通信安全协议及其分析.ppt(416KB)