物联网安全与网络保障

本书提出了物联网网络保障的概念和方法，分析了物联网环境的网络保障需求，强调了物联网的关键信息保障问题，并确定了信息保障相关的安全问题。本书是由工作在网络保障、信息保障、信息安全和物联网一线行业的从业人员和专家根据其研究成果撰写而成，内容涵盖了当前信息保障的问题、挑战和解决物联网保障所需的基本概念和优选技术，也包含了射频识别（RFID）网络、无线传感器网络、智能电网以及工业控制系统的监控与数据采集（SCADA）系统。

泰森·T.布鲁克斯（Tyson T. Brooks）博士是美国雪城大学（Syracuse University）信息学院副教授，他也工作在美国雪城大学的信息与系统保障信任中心（CISAT），是一位信息安全技术专家和科学实践者。布鲁克斯博士是《International Journal of Inter of Things and Cyber-Assurance》期刊的创始人和主编，是《Journal of Enterprise Architecture》、《International Journal of Cloud Computing and Services Science》和《International Journal of Information and Network Security》期刊的副主编。

译者序
原书序：有效的网络保障对物联网至关重要
原书前言
缩略语
引言
部分嵌入式安全设计
章为物联网设计认证安全
1.1简介
1.2微电子革命的教训
1.3经设计认证的安全性
1.4章节概述
1.5访问控制逻辑
1.6高阶逻辑HOL简介
1.7HOL中的访问控制逻辑
1.8高阶逻辑中的密码组件及其模型
1.9加密哈希函数
1.10非对称密钥加密
1.11数字
1.12为状态机添加安全性
1.13经设计认证的网络恒温器
1.14恒温器使用案例
1.15服务器和恒温器的安全上下文
1.16顶层的恒温安全状态机
1.17精制恒温安全状态机
1.18和精制的安全状态机的等效性
1.19结论
1.20附录
1.20.1HOL中对ACL公式、Kripke结构、主表达式、完整性水平以及安全级别的定义
1.20.2HOL中等效函数EM[[-]]的定义
1.20.3转换关系TR2的定义
1.20.4转换关系TR2的定义
参考文献
第2章通过物联网的嵌入式安全设计实现网络保障
2.1引言
2.2网络安全与网络保证
2.3识别，设防，重建，生存
2.4结论
参考文献
第3章物联网设备安全更新机制
3.1引言
3.2物联网安全的重要性
3.3应用纵深防御策略更新
3.4标准方法
3.5结论
参考文献
第二部分信任的影响
第4章物联网的安全和信任管理：RFID和传感器网络场景
4.1引言
4.2物联网的安全与信任
4.3射频识别：演变与方法
4.4无线传感器网络中的安全与信任
4.5物联网和RFID在实时环境中的应用
4.6未来研究方向和结论
参考文献
第5章物联网设备对网络信任边界的影响
5.1引言
5.2信任边界
5.3风险决策和结论
参考文献
第三部分可穿戴自动化技术回顾
第6章可穿戴物联网计算：界面、情感、穿戴者的文化和安全/隐私问题
6.1引言
6.2可穿戴计算的数据精度
6.3界面与文化
6.4情感与隐私
6.5可穿戴设备的隐私保护策略
6.6关于可穿戴设备的隐私/安全问题
6.7对未来可穿戴设备的期望
参考文献
第7章基于面向消费者的闭环控制自动化系统的物联网漏洞
7.1引言
7.2工业控制系统和家庭自动化控制
7.3漏洞识别
7.4基本对控制环路和服务提供商攻击的建模和仿真
7.5通过基本家庭供暖系统模型来说明各种攻击
7.6对受到攻击的可能经济后果的预见
7.7讨论与结论
参考文献
第8章物联网的大数据复杂事件处理：审计、取证和安全的来源
8.1复杂事件处理概述
8.2物联网在审计、取证和安全方面的安全挑战及需求
8.3在物联网环境中采用CEP的挑战
8.4CEP与物联网安全可视化
8.5总结
8.6结论
参考文献
第四部分网络物理系统的云人工智能
第9章云计算-物联网结构中安全保障机制的稳态框架
9.1引言
9.2背景
9.3建立云计算-物联网的分析框架
9.4云计算-物联网的稳态框架
9.5结论
参考文献
0章确保物联网网络保障的人工智能方法
10.1引言
10.2物联网中与人工智能相关的网络保障研究
10.3多学科智能为人工智能提供机遇
10.4关于未来基于人工智能的物联网网络保障的研究
10.5结论
参考文献
1章网络物理系统的感知威胁建模
11.1引言
11.2物理安全概述
11.3接地理论的相关性
11.4理论模型的构建
11.5实验
11.6结果
11.7讨论
11.8未来的研究
11.9结论
参考文献
附录
附录A IEEE物联网标准清单
附录B 词汇表
附录C CSBD温控器报告
附录D CSBD访问控制逻辑报告