本书系统介绍了容忍入侵系统模型、关键技术和应用等方面的内容。提出了面向服务的容忍入侵模型和系统架构,给出了容忍入侵的可信第三方系统设计方案并进行了形式化描述和规格说明,提出了综合使用“先应式入侵响应”+“数据破坏隔离”的容忍入侵响应模型,建立了容忍入侵系统的广义随机Petri网模型;研究了进行容忍入侵系统应用设计时面临的现实问题,给出了基于通用攻击结构的秘密共享设计方案和异步先应式秘密共享方法;提出了多重驱动的自适应重配置容忍入侵安全通信模型,给出了入侵检测与容忍入侵相结合的密码协议安全运行防护方法,提出了基于Tornado码的客户一服务器工作模式的分布式容忍入侵数据存储方案,研究了基于规范的容忍入侵中间件方法并在开源的J2EE应用服务器JBoss中实现了对容忍入侵的功能支持。
本书针对有计算机、通信、密码学技术基础的中、高级读者,适合从事网络信息安全理论研究、工程应用、项目管理人员,以及高校信息安全、计算机、通信等专业高年级本科生和研究生参考使用。
第1章 绪论
1.1 容忍入侵技术的引入
1.2 容忍入侵的基本概念与现状
参考文献
第2章 面向服务的容忍入侵模型
2.1 传统容错方法应用于容忍入侵的难点及措施
2.2 面向特定服务的容忍入侵
2.2.1 分布式信任模型
2.2.2 对象复制技术
2.2.3 表决技术
2.2.4 可靠广播和Byzantine一致性协商
2.2.5 秘密共享与门限密码技术
2.2.6 系统重配置的策略及实施
2.2.7 面向服务的容忍入侵系统架构
2.3 以容忍入侵为中心的网络系统纵深防御结构
2.3.1 设计思路
2.3.2 系统配置方式
2.4 小结
参考文献
第3章 秘密共享协议研究
3.1 绪论
3.2 基于通用攻击结构的秘密共享方案
3.2.1 通用攻击结构的引入
3.2.2 方案设计与证明
3.2.3 方案化简
3.2.4 一种基于图的攻击结构的高效秘密共享方案
3.3 异步及不可靠链路环境中先应式秘密共享方法研究
3.3.1 系统模型、安全目标及系统要求
3.3.2 方案设计
3.3.3 几个基本协议及分析
3.3.4相关工作
3.4小结
参考文献
第4章 容忍入侵的可信第三方系统设计及其规格说明
4.1 引言
4.2 系统模型及初始化配置
4.3 容忍入侵的可信第三方系统方案描述
4.4 方案分析
4.4.1 正确性和保密性
4.4.2 抗主动攻击安全性
4.5 实验及性能测试
4.5.1 实现
4.5.2 实验环境
4.5.3 性能评估
4.6 容忍入侵的可信第三方系统的Object Z规格说明
4.6.1 Object Z语言简介
4.6.2 系统的Object Z规格说明
4.7 小结
参考文献
第5章 容忍入侵的入侵响应模型研究与设计
5.1 引言
5.2 基于入侵攻击图的先应式入侵响应
5.2.1 纵深多层检测模块
5.2.2 入侵攻击图的设计
5.3 基于数据破坏隔离技术的入侵响应
5.3.1 处理单个恶意事务方案的提出及改进
5.3.2 同时对多个恶意事务处理方案
5.4 对数据破坏隔离方案的安全性分析及仿真评估
5.4.1 安全性分析
5.4.2 仿真实验与性能分析
5.5 基于博弈论框架的自适应网络入侵响应模型
5.5.1 入侵与检测及响应的博弈模型
5.5.2 参与人的成本-收益分析
5.5.3 模型的扩展
5.6 小结
参考文献
第6章 容忍入侵的系统安全性评估方法
6.1 系统安全相关的属性
6.2 系统的可依赖性评估方法
6.3 容忍入侵的网络系统安全性评估方法
6.3.1 定量评估安全性的可能性与必要性
6.3.2 已有的网络系统安全性评估方法
6.3.3 基于系统状态转移图的安全性评估方法
6.3.4 基于广义随机Petri网(GSPN)的安全性评估方法
6.4 小结
参考文献
第7章 容忍入侵的自适应重配置安全通信模型与设计
7.1 引言
7.2 自适应的安全系统模型
7.2.1 自适应的安全系统的响应过程
7.2.2 系统的自适应安全域分析
7.3 容忍入侵的自适应安全通信系统组成结构
7.4 基于D-S证据理论的安全态势估计
7.4.1 D-S证据理论简介
7.4.2 D-S证据理论在系统安全态势估计中的应用与仿真
7.5 基于层次分析方法的自适应安全策略决策
7.5.1 层次分析法理论简介
7.5.2 层次分析法在自适应重配置安全策略选择中的应用
7.6 小结
参考文献
第8章 容忍入侵的密码协议自适应安全运行防护
8.1 引言
8.2 系统总体结构
8.3 入侵检测模块的设计及功能实现
8.3.1 设计思路
8.3.2 密码协议执行特征的设定
8.3.3 入侵检测监视器的内部结构
8.3.4 入侵检测监视器检测原理
8.4 容忍入侵模块的设计
8.4.1 模型结构
8.4.2 各组成部件功能介绍
8.5 系统仿真与测试
8.5.1 重要类说明
8.5.2 重要函数说明
8.5.3 测试执行流程
8.6 小结
参考文献
第9章 容忍入侵的数据存储方案
9.1 引言
9.2 一种基于Tomado码的安全存储方案设计
9.3 PITDSS总体框架结构
9.3.1 总体结构
9.3.2 PITDSS中使用的其他安全机制
9.3.3 整体算法描述与性能评估
9.4 小结
参考文献
第10章 容忍入侵的应用服务器中间件结构设计与实现
10.1 引言
10.2 容忍入侵中间件设计要求
10.3 容忍入侵拦截器的设计
10.3.1 拦截器技术概况
10.3.2 J2EE拦截器的工作机制
10.4 容忍入侵框架设计
10.4.1 容忍入侵管理者
10.4.2 容忍入侵服务提供者
10.5 容忍入侵策略部件
10.6 容忍入侵应用服务器的实现
10.6.1 平台组成及工作原理
10.6.2 服务器端的设计
10.6.3 实现方法
10.7 小结
参考文献