第七讲 第七讲 : : 安全协议形式化分析与设计 安全协议形式化分析与设计 主讲人： 主讲人：xxx xxx xxx xxx 系 系 * * 通信网安全理论与技术 通信网安全理论与技术 课程 课程实践性 通信安全保障 协议安全设计 理论和技术基础 前导性 8. 课程体系及主要内容讲解内容 通信网安全现状、趋势与策略第1讲 通信网技术基础与安全体系第2讲 通信网安全基础理论与技术( 密码学、攻击与防御技术) 第3讲 网络安全协议理论设计与分析 认证协议以及密钥建立协议第4讲 数字签名与阈下信道设计第5讲 零知识证明及其安全协议构造第6讲 安全协议形式化分析与设计第7讲 典型的网络安全协议(IPSec 协议、Kerberos 协议、 Radius/AAA 协 议) 第810讲 通信网安全保障技术第11讲 无线网络安全性增强技术(WLAN 为主) 第12讲 网络防火墙与入侵防御技术第13讲 网络安全实现方案设计与分析第14讲内容提要 1. 安全协议存在安全缺陷 2. 安全协议形式化分析 3. 类BAN 逻辑形式化分析 4. 例子：对NSSK 认证协议的BAN 逻辑分析安全协议存在安全缺陷原
