密码协议形式化分析
基本信息
出版社: 机械工业出版社; 第1版 (2006年7月1日)
丛书名: 高等院校信息安全专业规划教材
平装: 251页
开本: 16开
ISBN: 711119229X
条形码: 9787111192299
产品尺寸及重量: 26 x 18.6 x 1 cm ; 358 g
品牌: 机械工业
ASIN: B0011C9692
内容简介
本书对现在国内外最新的密码协议形成化分析方法与设计准则进行了比较详细的论述,建立了完整而系统密码协议研究理论,并介绍了当前最为流行的几个协议的实现方法。全书共8章,分别介绍了密码协议所涉及的密码学基础知识,密码协议的概念、缺陷与可能受到的攻击类型,现有的一些密码协议形式化分析方法,密码协议的设计准则,密码协议分析的主要形式化语言和分析工具,Kerberos协议、IPSee协议、SSL协议、X.509以及SET协议这五个密码协议的实现方法和工作原理。
目录
出版说明
序
前言
第一章 引论
第二章 密码协议概述
第三章 形式逻辑方法
第四章 模型检测方法
第五章 定理证明方法
第六章 密码协议的设计准则
第七章 密码协议分析主要的形式化语言和分析工具
第八章 几个具体