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

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

暂缺简介...

针对网络空间基于目标对象软硬件漏洞后门等暗功能的安全威胁问题，本书从“结构决定安全”的哲学层面诠释了改变游戏规则的“网络空间拟态防御”思想与理论形成过程、原意与愿景、原理与方法、实现基础与工程代价以及尚需完善的理论和方法等。在理论与实践结合的基础上，证明了在创新的“动态异构冗余”构造上运用生物拟态伪装机制可获得内生性的“测不准防御”效应。在不依赖关于攻击者的先验知识和行为特征信息的情况下，按照可量化设计的指标管控拟态界内未知的未知攻击或者已知的未知失效引起的广义不确定扰动影响，并能以一体化的方式处理信息系统传统与非传统安全问题。建立了拟态构造模型，并就抗攻击性和可靠性等问题给出了初步的定量分析结论以及第三方完成的“白盒实验”结果。

内容提要本书全面详细地介绍个人计算机的网络安全反黑技术，并穿插讲解关于手机安全使用的部分内容，每节从案例分析总结引入，讲解了大量实用工具的操作及安全防范知识。本书从认识黑客与信息安全开始讲起，进而详细介绍了系统的安装/ 配置与修复、系统防火墙与Windows Denfender、组策略、系统和数据的备份与还原、端口扫描与嗅探、远程技术、浏览器安全防护、病毒知识、木马知识、入侵检测技术、QQ 安全、网络游戏安全、个人信息安全、无线网络与WiFi 安全、智能手机安全、网络支付安全、电信诈骗防范等。本书图文并茂、通俗易懂，适合网络安全技术初学者、爱好者阅读学习，也可供企事业单位从事网络安全与维护的技术人员在工作中参考。

《网络安全实践教程/“十三五”普通高等教育规划教材》以Web渗透测试工程师的岗位职责为依据，结合课堂教学，详细介绍了网络安全相关知识和操作技能。全书共分9章，主要内容包括计算机网络原理概述、网络安全概述、网络安全实验环境搭建、操作系统安全、计算机病毒防范技术、Web渗透测试技术、数据库安全技术、远程控制技术、综合实验题等。《网络安全实践教程/“十三五”普通高等教育规划教材》适合作为普通高等院校网络工程、计算机科学与技术等专业相关网络安全课程的教材，也可作为网络安全相关从业人员岗前培训的参考用书。

本书作者让你快速掌握科学方法，帮助你专注于独立的、特定领域的主题，如密码学、恶意软件分析和系统安全工程。之后的章节包括实际案例研究，演示如何使用可用的工具进行特定领域的科学实验。 了解进行网络安全科学实验所需的步骤。 探索使用模糊测试来验证软件对各种输入的处理。 衡量Snort入侵检测系统的性能。 在网络和IT环境中采用“大海捞针”的方式来定位恶意程序。 评估IoT产品中的密码设计和应用。 通过开展实验来验证相似的恶意二进制文件之间的关系。 理解公司网络和Web服务的系统级安全需求。

暂缺简介...

《CCSP官方学习指南 云安全认证专家》涵盖CCSP认证的6大核心领域，是安全从业人员保护和优化云计算环境、通过CCSP认证的有效指导。 随书线上资源，包括成套考试模拟题和数百张速记卡。

“物联网”的概念源于互联网，它是互联网实现具体应用化的表现。近几年，物联网开始应用于家庭、农业、军事、医疗、交通等多个领域，给人们的生产和生活带来了便利，但同时物联网信息安全方面也面临巨大挑战。《物联网安全技术》以物联网信息安全为出发点，讲解物联网的安全技术与应用，内容包括物联网信息安全概述、物联网信息安全、物联网信息安全密码概述、物联网感知层安全技术分析、物联网网络层安全技术分析、物联网应用层安全技术分析、物联网信息接入安全技术、物联网的网络安全技术、物联网信息安全技术应用、智能家居信息安全系统。《物联网安全技术》内容新颖，侧重于物联网信息安全技术和应用案例，讲解前沿物联网安全技术知识，同时融入了全新的物联网研究成果和应用。 《物联网安全技术》适合高等院校物联网工程专业的本科生、高职高专院校物联网专业学生作为教材使用，同时也适合物联网相关从业人员及相关领域研究人员参考阅读。