本书以精益思想、企业物流合理化为指导，面向智能制造、智能物流，从工程规划与设计的角度介绍了现代设施规划与物流系统分析设计的基本理论与方法，从设计、评价与改善三方面研究企业物流系统柔性、先进性、合理性的问题，包括选址、布局、物料搬运系统与装备技术、动态改善等内容。

《通晓信息技术：技能、概念与能力(第6版)》共4部分23章，阐述了计算、算法与信息化，数据与信息以及问题求解主题，给出一个清晰的路径表来展示如何从技能到概念进而提升到能力，探讨了一个精通信息技术的FIT框架：知识能力、基本概念和技能。通过掌握必不可少的核心概念，任何专业背景的人都能在这个纷繁芜杂的文信息时代，掌握通透的技术概念和技能。 《通晓信息技术：技能、概念与能力(第6版)》全彩印刷，脉络清晰，穿插有大量可以帮助理解的趣闻轶事，提供了有关当前技能以及永恒的概念和功能的详细说明和示例，对帮助我们每一个人通晓信息技术有很大的帮助。

《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。 信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。 《网络安全

《失控》这是《黑客帝国》主要演员的推荐阅读物之一，这本关于机器、系统、生物和社会的“大部头”，揭示了社会进化、特别是互联网发展的“先知预言”，从这本书里，人们可以窥探到SNS的今天和未来。《失控》涉猎

本书是新华三集团一百多位专家基于自身十多年的故障定位经验而编写的，给出了大量的典型故障定位思路，技术涵盖网络技术、云计算、服务器等，产品覆盖了路由器、交换机、安全产品、无线产品、iMC管理软件、云计算产品、服务器、EPON等产品。本书是为具备IT基础知识的人员编写的，尤其适合于学习了H3C网络学院系列教程的读者。对于IT技术人员，本书是简单易用的H3C产品故障排查手册。另外，本书还可以作为H3C网络学院系列教程的补充教材，以及相关从业人员的学习资料。

《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。 信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。 《网络安全协议

数据恢复技术是一门新兴技术，它通过各种手段把丢失和遭到破坏的数据还原为正常数据。本书通过多种典型实例详细介绍了Windows系统下数据恢复技术的原理和方法，内容包括硬盘数据组织、文件系统原理、数据恢复技术、文档修复技术、密码遗失处理技术、数据安全技术和数据备份技术。本书作者戴士剑是知名数据恢复专家，有多年的数据恢复工作经验。

编写的《互联网信息安全与监管技术研究》全面系统考察了全球主要国家互联网信息安全战略与监管手段，并进行了深入分析比较。在此基础上，介绍了互联网监管的主要技术，包括网络信息采集与处理技术、上网行为分析与管理技术、网络信息挖掘技术、网络舆情分析与预警技术等，探讨了云计算、三网融合、移动互联网环境下信息安全与监管的新挑战，指出我国网络监管过程中存在的多头管理、标准模糊等亟待解决的问题。《互联网信息安全与监管技术研究》将互联网信息安全与监管技术有机结合，重在研究我国互联网监管领域的热点难点及其相应的对策建议。

《信息安全产品配置与应用》是一本专注于信息安全产品的教材，内容涵盖了防火墙、VPN、入侵检测、网络隔离、安全审计及上网行为管理、网络存储、数据备份、防病毒过滤网关等方面的常用信息安全设备，详细介绍了它们各自的功能、工作原理、配置以及应用部署方案，是培养信息安全设备厂商急需的技术工程师的绝好教材。《信息安全产品配置与应用》的写作融入了编者丰富的教学和工程实践经验，采用项目导向、任务驱动，基于典型工作任务组织教学内容，每个章节都专注于特定的主题。考虑到神州数码产品在职业院校较高的占有率，《信息安全产品配置与应用》在天融信产品的基础上，增加了神州数码设备应用的内容，讲解通俗，案例丰富，力争让读者在最短的时间内掌握核心安全设备的基本操作与应用技能，达到快速入门与提高的目的。为了让学习者

黑客是何方神圣，他们为什么这么做？为此，没有一个确切的答案，因为每名黑客都与众不同，他们既不像普通人，也不像他们自己。本书所述的黑客们确有其人，他们的事迹有的已广为人知，而绝大多数被淹没在了互联网中。尽管每名黑客的故事都各各不同，但他们都有着一系列类似的特征：对抗、家庭不和、学校暴力、精神障碍，以及对虚拟世界的固执与沉迷。

米特尼克被称为“世界头号黑客”，传奇的人生成为业内和各大媒体津津乐道的话题。1995年联邦法院以25宗罪名起诉米特尼克，而且未经审判就将米特尼克关押了4年半，这是美国司法史上对一名高智商罪犯所采取的最严厉措施。 出狱之后米特尼克改邪归正，目前已经成为世界的白帽子黑客，用自己的经验来指导知名企业与组织增强他们的安全防护措施。 在这本自传中，米特尼克回顾了自己的心路历程，令人眼花缭乱的各类大案要案，以及与警察和特工的“斗智斗勇”……跌宕起伏的情节，将读者带入一个完全不同的惊险世界！

sqlmap是一款外的渗透测试工具，由于其开源且不断更新，因此深得网络安全爱好者的喜爱。其主要用来测试各种SQL注入漏洞，在条件具备的情况下还可以获取服务器权限等。 《sqlmap从入门到精通》从实战的角度，介绍如何利用sqlmap渗透Web服务器，对sqlmap进行深入的研究和分析，是一本全面、系统地介绍sqlmap的书籍。本书共8章，以sqlmap渗透基础开始，由浅入深地介绍利用sqlmap进行渗透攻击的各个维度，主要内容包括sqlmap安装及使用、使用sqlmap进行注入攻击、使用sqlmap获取webshell、使用sqlmap进行数据库渗透及防御、使用sqlmap进行渗透实战、使用sqlmap绕过WAF防火墙、安全防范及日志检查等。结合作者十多年的网络安全实践经验，本书对各种SQL注入漏洞给出了相应的安全防范措施，书中还对一些典型漏洞防护进行了实战解说。 本书实用性和实战性强，可作为计算