![密码历史与传奇 [美]克雷格·鲍尔（](http://img3m0.ddimg.cn/75/0/11796889080-1_l.jpg)
![应用密码学手册 [加拿大]梅尼斯 （M 【正版保证】](http://img3m3.ddimg.cn/77/17/11758915553-1_l.jpg)
![隐私的终结？ 谢波维 著；[美]列维 译【速开发票，优质售后，支持7天无理由退换】](http://img3m2.ddimg.cn/65/16/11957043152-1_l.jpg)
作者是世界上很受尊重和认可的安全专家之一，他在本书中提供了一种看安全的新视角。本书部分从问题定义开始，从系统化的角度看待安全，讨论当前安全发展的变化、安全的思维方式、目标，并且分析了不同的威胁模型。在此基础之上，第2部分介绍安全相关的技术，除了对技术本身进行介绍之外，作者还很好地考虑了不同情况、不同需求，以及在应对不同威胁模型时，各种技术的优势和可能面临的问题。第3部分介绍具体的安全操作，即如何创建安全的系统，考虑了包括代码、设计、架构、管理以及人员等众多综合因素。第4部分分析具体案例，并且对未来的技术发展和应对给出了建议。本书基于作者在安全领域多年的实际经验，结合新技术的发展，给出了实用而全面的安全技术指导，为创建安全系统提供了很好的借鉴。
《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。 信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。 《网络安全
![密码学基础——国外著名高等院校信息科学与技术优秀教材 [以色列]Oded Goldreich 著；杨义先 译；温巧【正版](http://img3m3.ddimg.cn/70/4/11937789043-1_l.jpg)
本书内容丰富，实用性强，使读者能够使用书中的方法和步骤去解决实际应用中常见的数据存储备份与灾难恢复问题。全书分为3个部分，共11章，详细讲解了数据存储技术、数据备份与灾难恢复的相关知识和实用技术，讨论了数据备份与灾难恢复策略、解决方案，数据库系统与网络数据的备份和恢复。部分为基础知识篇，涵盖本书第2章和第3章，主要讨论数据存储备份与灾难恢复的基础知识。第2部分为技术讲解篇，涵盖本书第4、5章和第6章，主要阐述数据存储技术、数据备份技术和灾难恢复技术。第3部分为技术应用实践篇，也是本书的重点内容，涵盖本书第7、8、9、10章和1章，主要介绍数据存储备份与灾难恢复实践中的一些比较重要的产品及其技术应用。 本书适合IT系统客户服务人员、技术支持工程师、技术培训人员、数据恢复技术工程师、信息安全工作人员
