网络安全协议的形式化分析与验证 教学课件 作者 李建华 第八章 移动通信安全协议及其分析.pptVIP

第8章 移动通信安全协议及其分析;移动通信技术发展;移动通信技术发展;8.1 移动通信安全协议;8.1.1 第1代移动通信安全协议;8.1.1 第1代移动通信安全协议;8.1.2 第2代移动通信安全协议;8.1.2 第2代移动通信安全协议;图8-1 GSM系统安全协议的主要运行过程;GSM;GSM;GSM;GSM;8.1.3 第3代移动通信安全协议;1．3G与GSM的兼容性;1．3G与GSM的兼容性;1．3G与GSM的兼容性;图8-2 3G安全体系结构;2．3G新增性能及加强性能;2．3G新增性能及加强性能;图8-3 信号信息的一致性保护及算法协商过程;2．3G新增性能及加强性能;图8-4 无线链路层的一致性机制;2．3G新增性能及加强性能;图8-5 无线链路层的机密性机制;3．3G认证的密钥协商（AKA）协议;图8-6 3G认证的密钥协商协议;3．3G认证的密钥协商（AKA）协议;图8-7 HE/AuC产生认证向量 ;3．3G认证的密钥协商（AKA）协议;图8-8 用户认证过程 ;3．3G认证的密钥协商（AKA）协议;8.2 AUTLOG认证逻辑对AKA协议的分析;8.2.1 AUTLOG认证逻辑;8.2.1 AUTLOG认证逻辑;8.2.1 AUTLOG认证逻辑;8.2.2 协议的形式化描述;8.2.3 假设前提;8.2.3 假设前提;8.2.4 协议目标;8.2.5 形式化证明;8.2.5 形式化证明;8.2.5 形式化证明;8.3 利用认证测试方法对3GPP-AKA协议进行安全性分析;8.3 利用认证测试方法对3GPP-AKA协议进行安全性分析;8.3 利用认证测试方法对3GPP-AKA协议进行安全性分析;8.3.1 移动用户与移动核心网之间的安全性验证;8.3.1 移动用户与移动核心网之间的安全性验证;8.3.1 移动用户与移动核心网之间的安全性验证;8.3.1 移动用户与移动核心网之间的安全性验证;8.3.1 移动用户与移动核心网之间的安全性验证;8.3.1 移动用户与移动核心网之间的安全性验证;8.3.1 移动用户与移动核心网之间的安全性验证;8.3.2 服务网络基站与移动核心网之间的安全性验证;8.3.3 服务网络基站与移动用户之间的安全性验证;8.3.3 服务网络基站与移动用户之间的安全性验证;8.4 本章小结