成功加入购物车
保证正版 无笔记
李建华 著 / 机械工业出版社 / 2010-04 / 平装
售价 ¥ 98.00
品相 八五品品相描述
优惠 满包邮
延迟发货说明
上书时间2019-11-30
卖家超过10天未登录
高等院校信息安全专业规划教材:网络安全协议的形式化分析与验证
《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状;在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果,包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。
信息安全是关系到国家安全和经济发展的重大战略问题,至关重要。安全协议作为实现信息安全的基础,其自身的安全性问题已成为安全研究的重要内容。目前,针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重,深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。
《网络安全协议的形式化分析与验证》可作为信息安全专业高年级本科生教材,也可作为高等学校电子信息类、计算机类等相关专业的参考书。
前言第1章绪论1.1安全协议概述1.1.1安全协议的基本概念1.1.2安全协议的缺陷分析1.1.3安全协议的攻击手段1.1.4安全协议形式化方法的必要性1.2形式化技术基础1.2.1模态逻辑技术1.2.2模型检测技术1.2.3定理证明技术1.3形式化方法在安全协议验证中的应用1.3.1安全协议形式化理论发展现状1.3.2安全协议形式化方法发展趋势1.4本章小结1.5习题第2章基于模态逻辑技术的安全协议分析方法2.1BAN逻辑2.1.1基本术语2.1.2推理规则2.1.3应用实例2.2类BAN逻辑2.2.1GNY逻辑2.2.2AT逻辑2.2.3SVO逻辑2.2.4Kailar逻辑2.3Bieber逻辑2.3.1历史模型2.3.2KT5逻辑2.3.3CKT5通信逻辑2.3.4消息的解释2.3.5认证与保密2.4非单调逻辑2.4.1安全协议的Nonmonotomic逻辑描述2.4.2安全协议的Nonmonotomic逻辑分析2.5本章小结2.6习题第3章基于模型检测技术的安全协议分析方法3.1DolevYao模型3.2通信进程方法3.2.1CSP的基本概念3.2.2CSP的网络模型3.2.3协议安全性质的CSP描述3.2.4CSP协议分析3.3NRL协议分析器3.3.1协议描述3.3.2协议分析3.3.3实例3.4模型检测工具Mur3.4.1Mur系统3.4.2Mur协议分析过程3.4.3Mur协议分析实例3.5模型检测工具ASTRAL3.6协议分析工具BRUTUS3.6.1BRUTUS协议描述模型3.6.2BRUTUS协议属性逻辑3.6.3BRUTUS协议验证算法3.6.4.BRUTUS协议分析实例3.7本章小结3.8习题第4章基于定理证明的安全协议分析方法4.1Paulson归纳法4.1.1Paulson归纳法简介4.1.2Paulson归纳法的自动化理论4.1.3Paulson归纳法协议分析示例4.2Schneider阶函数4.2.1阶函数的定义4.2.2阶函数定理4.2.3协议分析实例4.2.4基于阶函数的自动化验证技术4.3串空间4.3.1基本概念4.3.2协议入侵者描述4.3.3安全属性的表示4.3.4协议分析举例4.3.5认证测试方法4.4重写逼近法4.4.1预备知识4.4.2逼近技术4.4.3对NS公钥协议的描述与分析4.5不变式产生技术4.5.1基本概念4.5.2描述攻击者不可知项集合的不变式4.5.3描述攻击者可知项集合的不变式4.6本章小结4.7习题第5章安全协议的形式化设计方法5.1合成协议模型及其安全性5.1.1HT模型5.1.2协议的组合5.2Fail-Stop协议5.2.1Fail-Stop协议及其分析5.2.2复杂协议5.3BSW简单逻辑5.3.1模型5.3.2逻辑5.4本章小结5.5习题第6章Internet密钥交换协议及其分析6.1Internet密钥交换协议概述6.1.1阶段1主模式交换6.1.2阶段1野蛮模式交换6.1.3阶段2快速模式交换6.2IKE三协议的形式化分析6.2.1采用NRL协议分析器进行形式化分析6.2.2利用扩展BSW逻辑分析6.3IKEV2协议概述6.3.1IKEV2密钥交换6.3.2密钥算法协商6.3.3加密密钥与认证密钥6.4IKEV2协议的形式化分析6.4.1扩展串空间理论6.4.2IKEV2协议分析6.5本章小结6.6习题第7章电子商务安全协议及其分析7.1早期的电子商务安全协议7.1.1Digicash协议7.1.2FirstVirtual协议7.1.3Netbill协议7.2SSL协议及其分析7.2.1SSL协议介绍7.2.2SSL协议的形式化分析7.3SET协议及其分析7.3.1SET协议的流程7.3.2双重签名技术7.3.3数字信封v7.3.4SEL协议的形式化分析7.4本章小结7.5习题第8章移动通信安全协议及其分析8.1移动通信安全协议8.1.1第1代移动通信安全协议8.1.2第2代移动通信安全协议8.1.3第3代移动通信安全协议8.2AUTLOG认证逻辑对AKA协议的分析8.2.1AUTLOG认证逻辑8.2.2协议的形式化描述8.2.3假设前提8.2.4协议目标8.2.5形式化证明8.3利用认证测试方法对3GPP-AKA,协议进行安全性分析8.3.1移动用户与移动核心网之间的安全性验证8.3.2服务网络基站与移动核心网之间的安全性验证8.3.3服务网络基站与移动用户之间的安全性验证8.4本章小结8.5习题第9章群组通信安全协议及其分析9.1群组通信概述9.2群组密钥管理协议9.3密钥管理方案9.3.1集中式密钥管理方案9.3.2分布式密钥分发方案9.3.3分担式密钥协商方案9.4群组密钥交换协议的形式化描述及安全性分析9.4.1AT-GDH协议9.4.2AT-GDH2协议9.4.3AT-GDH3协议9.5本章小结9.6习题参考文献出版说明
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30