《物联网环境下控制安全技术》主要内容如下：第1章详细介绍了物联网的基本概念、物联网的发展过程、物联网的应用情况、物联网的架构及技术体系。第2章介绍了物联网面临的安全威胁、物联网安全的国内外现状、物联网安全的战略、政策及措施、物联网公共安全典型应用领域及关键技术。第3章从体系结构、终端安全、传输安全、控制安全、隐私保护、安全管理、评估机制及方法等方面介绍了物联网的安全问题研究方向。第4章首先介绍了物联网的信息安全模型和工业控制系统的信息安全风险，还介绍了物联网环境下的通用控制系统模型及通用控制系统安全模型。第5章针对物联网环境下的来源安全问题，介绍了一些传统的物理保护方法和认证机制，并进一步给出了一种适合物联网控制环境下，设备与设备或者设备与被控设备之间的双向认证机制。第6章首先介绍了传统网络拒绝服务攻击的类型及解决方案，分析了WSN环境下拒绝服务攻击的特点，给出了WSN环境下的拒绝服务攻击的多等级检测预警模型。第7章首先介绍了容错与冗余技术、冗余表决算法，接下来介绍了面向工业控制物联网的算法冗余设计方法。给出了一种改进的多数表决算法。第8章首先对复杂系统和仿真技术进行了介绍，在此基础上，给出了复杂系统的仿真与实时评估流程，提出了基于仿真的复杂系统安全保障机制。第9章针对物联网环境下的控制安全需求，介绍了物联网环境下的控制安全应该遵循的几个基本原则。

本书对网络空间主动防御技术进行了系统性的介绍。首先梳理了网络空间安全的基本知识，分析了网络威胁的表现形式与成因、网络防御技术的起源与演进，进而对不同代系的主动防御技术，包括基于隔离的沙箱技术，基于欺骗的蜜罐技术，可屏蔽和遏制入侵的入侵容忍技术，基于可信链的可信计算技术，基于多样化、随机化、动态化机制的移动目标防御技术等进行了详细分析和介绍。在此基础上，针对持续深化的网络空间安全需求，对**出现的网络防御技术创新发展动向进行了简析。最后还介绍了常用的网络安全分析评估模型及相关的数学基础知识。

暂缺简介...

暂缺简介...

本书首先系统分析了我国食品安全监管现状，并分别从企业和消费者两个角度对我国食品安全监管的效果进行评价，得出尽管监管投入有所增加，监管强度有所提升，监管的效果并不理想的结论。在对我国食品安全监管体制改革进行梳理的基础上，本书对我国食品安全监管体制进行分析和设计，指出大部制改革方向上的正确性，同时应保持监管机构之间适度的监督与制衡。本书进而通过监管中利益相关者之间的博弈分析，发现在改革政府监管体制，强化政府主导作用的基础上，来自消费者与社会的监督力量以及企业的自我规制同样是影响监管效果的重要因素。在全书的末篇中，笔者首先分析了以信息揭示与事后威慑为目的的传统食品安全监管政策工具的作用机制，并*终提出通过建立多元主体间的合作治理框架作为提升我国食品安全监管效果的制度保障。

本书从标识鉴别理论到自主可控理论，再到基于证据的虚拟网络理论，探索了网信安全的实质。网信空间由实体空间和事件空间构成，由此形成了基于实体鉴别的虚拟物联网和基于事件鉴别的虚拟事联网的新概念。基于标识到标识（ItoI）模式的虚拟网络，是“一物一证”“一事一证”的可证网络。虚拟网络的可证性为自主可控提供了控制的依据，虚拟网络的独立性，为构建自主可控网络提供了理论依据，将网信安全的总体构架建立在安全理论的基础之上。

安全协议作为信息安全的重要基础之一，其安全属性能否达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分：用形式化的语义定义协议的执行规格和安全属性，精确表示安全协议的安全属性；综合运用各种形式化方法设计一个高效的验证算法，在可接受的时间内验证安全属性。本书还探讨了多协议安全分析，比较分析了各种验证理论和发展趋势。

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

《网络安全治理新格局》是“公共安全治理新格局丛书”中的一本，该书全面阐释了习近平总书记关于“要树立正确的网络安全观，加快构建关键信息基础设施安全保障体系，全天候全方位感知网络安全态势，增强网络安全防御能力和威慑能力”的要求，系统阐释各级党委政府抓好网络安全的新的思路、方法与策略，是一本实用的网络安全治理读本。

网络安全与防护（第2版）