网络安全协议的形式化分析与验证-西安交通大学图书馆

网络安全协议的形式化分析与验证

发布日期:2010-09-08 浏览次

[内容简介]
信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术；最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等...
信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术；最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。本书理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。
[目录]
出版说明
前言
第1章绪论
第2章基于模态逻辑技术的安全协议分析方法
第3章基于模型检测技术的安全协议分析方法
第4章基于定理证明的安全协议分析方法
第5章安全协议的形式化设计方法
第6章Internet密钥交换协议及其分析
第7章电子商务安全协议及其分析
第8章移动通信安全协议及其分析
第9章群组通信安全协议及其分析

上一条：云计算实践指南
下一条：ASP.NET MVC 1.0高级编程

【关闭】