网络安全协议的形式化分析与验证 教学课件 作者 李建华 第七章 电子商务安全协议及其分析.pptVIP

第七章 电子商务安全协议及其分析;引言;本章内容概览;7.1 早期的电子商务安全协议;7.1.1 Digicash协议;Digicash协议步骤：;Digicash协议步骤：;Digicash协议分析：;7.1.2 FirstVirtual协议;7.1.2 FirstVirtual协议;7.1.3 Netbill协议;7.1.3 Netbill协议过程：;7.1.3 Netbill协议过程：;7.2 SSL协议及其分析;7.2.1 SSL协议介绍;SSL协议分层结构图;SSL协议握手过程：;SSL建立新会话时的握手过程：;SSL恢复会话时的握手过程：;SSL协议握手过程：;SSL协议的安全服务功能：;SSL协议的不足之处：;7.2.2 SSL协议的形式化分析 ;7.2.2 SSL协议的形式化分析;7.3 SET协议及其分析;7.3 SET协议及其分析 ;7.3.1 SET协议的流程 ;7.3.2 双重签名技术;7.3.2 双重签名技术;7.3.3 数字信封;SET协议浅析：;7.3.4 SET协议的形式化分析;结合SET协议流程对Kailar逻辑进行扩充。;;2．SET协议模型;SET购买阶段的6???骤模型;SET购买阶段的6步骤模型;;SET购买阶段的6步骤模型;3．协议形式化模型;3．协议形式化模型;4．协议目标;5．协议初始化假设;5．协议初始化假设;6．协议的证明过程;6．协议的证明过程;6．协议的证明过程;6．协议的证明过程;7.4 本章小结