第一部分 移动和无线安全

第1章 保护无线ad hoc网络安全：现状与挑战

1.1 引言

1.2 背景

1.2.1 无线网络

1.2.2 无线ad hoc网络

1.3 无线ad hoc网络中的攻击和入侵

1.4 面向无线ad hoc网络的入侵检测系统

1.4.1 基于特征的检测

1.4.2 分布与协作技术

1.5 基于异常的检测

1.5.1 分布协作技术

1.5.2 分层技术

1.6 协议分析检测

1.7 结论和未来研究方向

参考文献

补充阅读

关键术语和定义

第2章 利用移动使用模式匹配的智能手机数据防护

2.1 引言

2.2 背景

2.2.1 移动便携设备

2.2.2 掌上安全

2.2.3 相似字符串匹配

2.2.4 应用掌上使用模式匹配的智能手机数据保护

2.2.5 使用数据收集

2.2.6 使用数据整定

2.2.7 使用模式发现、分析、可视化及应用

2.3 相似使用字符串匹配

2.3.1 相似字符串／模式匹配

2.3.2 最长公共子序列

2.3.3 使用有限自动机

2.4 实验结果

2.4.1 相似使用字符串匹配

2.4.2 使用有限自动机

2.5 结论

参考文献

补充阅读

关键术语和定义

第3章 移动数据保护与可用性约束

3.1 引言

3.2 背景

3.3 ISO/IEC 27002赛博安全标准中的设备保护

3.4 移动计算赛博安全策略

3.4.1 遗失和遭窃

3.4.2 非法访问

3.4.3 连接控制

3.4.4 加密

3.4.5 操作系统与应用

3.5 移动数据加密与访问控制工具

3.5.1 加密

3.5.2 身份、身份认证与授权

3.5.3 基于秘密的方法

3.5.4 基于令牌的方法

3.5.5 基于计量生物学的方法

3.6 安全方法与可用性约束

3.6.1 移动计算安全中蓝牙技术的相互影响

3.6.2 无漏洞安全机制

3.7 通信模型与服务安全等级

3.7.1 互相认证

3.7.2 用户告知

3.7.3 会话密钥创建

3.7.4 轮询、断开与重新连接

3.8 零交互认证

3.9 结论

参考文献

关键术语和定义

第二部分 社交网络、僵尸网络和入侵检测

第4章 在社交网络时代的赛博安全和隐私

4.1 引言

4.2 背景

4.3 社交媒体对赛博安全和隐私的影响

4.3.1 社交媒体成长

4.3.2 Facebook、Twitter和赛博安全现状

4.3.3 社交媒体的隐私

4.3.4 便携互联设备上的社交网络

4.3.5 基于位置的社交应用

4.3.6 组织内的社交媒体应用

4.4 身份认证

4.5 社交数据交换和携带：OAuth

4.6 未来研究方向

4.7 结论

参考文献

补充阅读

关键术语和定义

第5章 僵尸网络与赛博安全：对抗网络威胁

5.1 引言

5.2 背景

5.3 当前努力

5.4 减少僵尸网络威胁的限制因素

5.5 解决方法和建议

5.5.1 对抗僵尸网络的全球合作

5.5.2 预防性策略框架

5.5.3 政策框架／法律实施

5.5.4 技术措施框架

5.6 未来研究方向

5.7 结论

参考文献

补充阅读

第6章 现代异常检测系统的评估（ADSs）

6.1 引言

6.2 背景

6.3 IDS检测方法

6.4 ADS评价框架

6.4.1 异常检测运算法则

6.4.2 赋值数据集

6.5 现代NADs的性能评估和经验学习

6.5.1 精确度和可测量性对比

6.5.2 延迟对比

6.5.3 经验总结

6.6 结论

参考文献

关键术语和定义

尾注

第三部分 形式化方法和量子计算

第7章 实用量子密钥分发

7.1 引言

7.2 背景

7.3 已提出的诱骗态方法

7.3.1 情形A1：单诱骗态BB84协议

7.3.2 情形B1：单诱骗态SARG04协议

7.4 统计涨落

7.5 实用诱骗QKD系统的仿真：基于光纤的实用诱骗QKD系统

7.6 实验设置

7.7 结果与讨论

7.8 未来研究方向

7.9 结论

参考文献

补充阅读

关键术语和定义

第8章 安全协议工程学中的形式化自动分析方法

8.1 引言

8.2 背景

8.3 技术发展水平

8.3.1 安全协议工程学问题

8.3.2 自动形式化协议分析

8.3.3 信任逻辑（BAN逻辑）

8.3.4 Dolev-Yao模型

8.3.5 计算模型的自动化验证

8.3.6 形式化联系协议规范与实现

8.4 未来研究方向

8.5 结论

参考文献

补充阅读

关键术语和定义

第四部分 嵌入式系统和SCADA安全

第9章 SCADA系统中的容错性远程终端单元（RTU）

9.1 引言

9.2 SCADA系统架构

9.3 智能传感器

9.4 容错远程终端单元

9.5 CAN总线协议

9.6 容错方案

9.7 可靠性建模

9.8 FTRTU中处理节点的可用性建模

9.9 结果讨论

9.10 SCADA系统的网络安全和攻击

9.11 网络安全减灾

9.12 结论

参考文献

关键术语和定义

第10章 嵌入式系统安全

10.1 引言

10.2 背景

10.3 嵌入式系统安全参数

10.4 嵌入式系统安全问题

10.5 攻击类型

10.5.1 硬件木马

10.5.2 旁路攻击

10.5.3 手机安全

10.6 未来研究方向

10.7 结论

参考文献

补充阅读

关键术语和定义

第五部分 工业和应用安全

第11章 液态石油管道的赛博安全

11.1 引言

11.2 关键基础设施是什么？

11.3 SCADA系统

11.4 革命性变化

11.5 赛博安全标准

11.6 弹性的SCADA系统是赛博安全系统

11.7 深度防护

11.8 SCADA赛博安全环境的独特性

11.9 SCADA系统和IT系统对比

11.10 操作系统更新方法

11.11 管理基础设施

11.12 未来研究方向

11.13 结论

参考文献

补充阅读

关键术语和定义

第12章 新兴C4ISR系统的赛博安全应用

12.1 C4ISR系统介绍

12.2 C4ISR系统的广义视图

12.2.1 指挥和控制（C2）系统

12.2.2 通信和计算机

12.2.3 ISR

12.3 C4ISR架构

12.3.1 DODAF

12.3.2 MoDAF

12.3.3 NAF

12.3.4 架构分析

12.4 C4ISR系统中赛博安全的重要性

12.4.1 赛博安全的定义

12.4.2 C4ISR系统的安全漏洞、安全需求及服务

12.4.3 赛博安全措施及机制的实施

12.4.4 赛博安全重要性的案例研究

12.4.5 美国信息系统近期增长的赛博攻击

12.5 标准C4ISR架构中的赛博安全

12.5.1 DoDAF2.0

12.5.2 NAF

12.6 C4ISR架构中赛博安全的最佳实践应用

12.7 TCP/IP协议簇中的安全

12.8 C4ISR系统各个不同组件的安全特性

12.8.1 操作系统

12.8.2 邮件保护

12.8.3 HAIPE（高保证互联网协议加密器）

12.8.4 数据链路

12.8.5 公钥基础设施（PKI）／通用访问卡（CAC）

12.8.6 敌我识别（IFF）

12.9 近期C4ISR系统的网络安全进展

12.9.1 网络防御

12.9.2 安全、可信、易协作的网络

12.9.3 军用Wiki系统的安全性

12.9.4 瘦客户机基于角色的访问控制

12.9.5 面向服务架构：基于标准的可重复使用的配置系统

12.9.6 手持设备或移动设备的安全性

12.9.7 应对网络事件和适应网络威胁

12.9.8 C4ISR系统在灾难管理中的应用

12.9.9 C4ISR系统中开放资源和COTS的使用

12.9.10 Sentek开源使用（美国）

12.9.11 瑞典Safir-SAAb系统的开源C4ISR SDK

12.9.12 基于开放标准的Sentry：C2（空军）

12.10 结论

参考文献

补充阅读

关键术语和定义

缩写词

第13章 基于工业标准和规范的实用Web应用程序安全审计

13.1 引言

13.2 背景

13.3 安全评估方法学

13.3.1 开放源代码安全测试方法学手册（OSSTMM）

13.3.2 信息系统安全评估框架（ISSAF）

13.4 应用程序安全评估过程

13.4.1 信息收集

13.4.2 脆弱性定位

13.4.3 漏洞利用

13.4.4 修复与报告

13.5 防护Web应用程序基础设施

13.5.1 ModSecurity

13.5.2 WebKnight

13.6 应用程序安全标准映射

13.7 未来研究方向

13.8 结论

参考文献

补充阅读

关键术语和定义

参考文献编译

作者简介