本书以精益思想、企业物流合理化为指导，面向智能制造、智能物流，从工程规划与设计的角度介绍了现代设施规划与物流系统分析设计的基本理论与方法，从设计、评价与改善三方面研究企业物流系统柔性、先进性、合理性的问题，包括选址、布局、物料搬运系统与装备技术、动态改善等内容。
随着信息技术和计算机网络的普及，网络和信息安全对社会生产生活的影响越来越大。掌握必要的网络及信息安全操作技能是高职网络及信息安全专业学生必须具备的专业能力之一。本针对高职高专教育特点，结合应用案例介绍目前主流网络及信息安全管理、维护操作知识，有助于增强教学针对性、实用性。本书共分5章，涵盖了网络及信息安全技术各个层次的主要知识。本书适合于高等职业技术学校或专科信息安全相关专业的学生进行网络及信息安全实验方面的教育。
![应用密码学手册 [加拿大]梅尼斯（M 【正版图书】](http://img3m3.ddimg.cn/77/17/11758915553-1_l.jpg)
![应用密码学手册 [加拿大]梅尼斯（M 【正版图书】](http://img3m3.ddimg.cn/69/4/11759064243-1_l.jpg)
《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。 信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。 《网络安全
![通晓信息技术:技能、概念与能力 [美]劳伦斯·斯奈德(LawrenceSnyder)著周靖 清华大学出版社，【正版保证】](http://img3m5.ddimg.cn/4/22/11564078035-1_l.jpg)
《通晓信息技术：技能、概念与能力(第6版)》共4部分23章，阐述了计算、算法与信息化，数据与信息以及问题求解主题，给出一个清晰的路径表来展示如何从技能到概念进而提升到能力，探讨了一个精通信息技术的FIT框架：知识能力、基本概念和技能。通过掌握必不可少的核心概念，任何专业背景的人都能在这个纷繁芜杂的文信息时代，掌握通透的技术概念和技能。 《通晓信息技术：技能、概念与能力(第6版)》全彩印刷，脉络清晰，穿插有大量可以帮助理解的趣闻轶事，提供了有关当前技能以及永恒的概念和功能的详细说明和示例，对帮助我们每一个人通晓信息技术有很大的帮助。
很多人认为，黑客行为（Hacking）是不道德的，而本书作者Kris Kaspersky认为，这有失公允。黑客行为其实是天性不安分的人的一种本能，此类人天生就爱破解谜题，并乐此不疲。他们与那些以牟利或伤害他人为目标的“黑客”们，根本就是两码事。所以，本书既不是一本破解代码的技术手册，也不是一本关于反黑客的防护手册，本书可以看做是一位喜欢刨根问底的自由主义者的学习笔记。你可以跟随他的脚步，考察Intel编译器，洞悉商业程序的保护机制，学习使用反汇编器与调试器。在第二版中，添加了一些新内容，比如克服反调试技术、探查经过打包、加密、异化或者混淆的代码等。 如果你也和作者一样，想探究清楚那些商业软件浩瀚的代码中都有些什么，不妨读一读本书。
《现代密码算法概论/数学统计学系列》介绍了160个现代密码算法和协议，内容涉及现代密码算法的数学基础，现代密码算法在信息安全领域中的应用，以及与之相关的科学研究和社会实践。涵盖了现代密码学的主要内容，包括哈希函数、非对称加密算法、公钥加密算法、密钥保管、数字、零知识证明、不经意传输、多方安全计算、外包计算、量子计算、电子货币等。《现代密码算法概论/数学统计学系列》提供了大量的算法评析，既能激发读者的兴趣，又能引发读者的思考，有助于进一步夯实现代密码算法的理论基础，弥合理论研究与实践之间的缝隙。《现代密码算法概论/数学统计学系列》可作为本科生、研究生选修教材或参考书。部分章节可作为相关科技人员的培训教材。
