网络安全教程 教学课件 田园 第14章 网络安全协议的分析与.pptVIP

第14章 网络安全协议的分析与验证技术 14.1 协议的strand-图模型 14.1.1 消息代数与strand-图 14.1.2 攻击者strand 14.1.1 消息代数与strand-图 14.1.2 攻击者strand 14.2 消息代数的理想 14.3 strand-图理论的几个普遍结论 14.4 协议的安全性质 14.5 协议分析的例子 14.5.1 Needham-Schroeder-Lowe协议 14.5.2 Otway-Rees协议 14.5.1 Needham-Schroeder-Lowe协议 14.5.2 Otway-Rees协议 引进集合T namesT ，A、B∈T names，M、Na、NbT -T names，协议的init-strand的迹为 +M A B{N M A B}KAS -M{N K}KAS 记做init[A, B, N, M, K]；resp-strand的迹为 -M A B H+M A B H{N M A B}KBS -M H1{N K}KBS+M H1 记做resp[A, B, N, M, K, H, H1]；serv-strand的迹为 -M A B{Na M A B}KAS{Nb M A B}KBS+ M {Na KAB}KAS{Nb KAB}KBS 记做s