本书以精益思想、企业物流合理化为指导，面向智能制造、智能物流，从工程规划与设计的角度介绍了现代设施规划与物流系统分析设计的基本理论与方法，从设计、评价与改善三方面研究企业物流系统柔性、先进性、合理性的问题，包括选址、布局、物料搬运系统与装备技术、动态改善等内容。
![线上幽灵：世界头号黑客米特尼克自传 [美]凯文·米特尼克（Kevin Mitnick）、[美]西蒙（William L.](http://img3m0.ddimg.cn/23/19/11937148070-1_l.jpg)
![黑客反汇编揭秘 [美]卡巴斯基 著；谭明金 译 电子工业出版社【售后无忧】](http://img3m0.ddimg.cn/6/28/11937100830-1_l.jpg)
《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。 信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。 《网络安全
![黑客大曝光：网络安全机密与解决方案：第7版 [美]麦克克鲁尔、[美]斯坎布雷、[美]克茨 著；赵军 译 清华【正版书籍】](http://img3m0.ddimg.cn/6/32/11936860260-1_l.jpg)
