![图解密码技术（第3版） [日]结城浩 周自恒](http://img3m2.ddimg.cn/5/28/11772896162-1_l.jpg)
![恶意软件Rootkit和僵尸网络 [美]Christo](http://img3m3.ddimg.cn/32/30/11782570073-1_l.jpg)
![黑客大曝光 网络安全机密与解决方案 第7版 [美]麦克克鲁尔、[ 【正版保证】](http://img3m0.ddimg.cn/90/33/11770019010-1_l.jpg)
《网络安全协议的形式化分析与验证》概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议的形式化分析技术、形式化设计技术;最后重点介绍了目前的形式化分析技术对当前典型应用环境下复杂、实用网络安全协议的分析成果，包括IPSec协议、SSL协议、电子商务协议、移动通信安全协议及群组通信安全协议等。 信息安全是关系到国家安全和经济发展的重大战略问题，至关重要。安全协议作为实现信息安全的基础，其自身的安全性问题已成为安全研究的重要内容。目前，针对安全协议的安全性验证已形成了许多不同的流派、理论和方法。《网络安全协议的形式化分析与验证》理论与应用并重，深入浅出地介绍了各类形式化分析技术的基本原理及其在大型复杂安全协议分析中的实际应用。 《网络安全
本书对Linux内核安全子系统做了系统而深入的分析，内容包括Linux内核的自主访问控制、强制访问控制、完整性保护、审计日志、密钥管理与密钥使用等。本书的内容填补了外关于Linux内核安全的一个空白。本书值得每一个想要深入了解Linux安全的人参考，值得计算机安全专业的学生和计算机安全领域的从业人员阅读，也可作为计算机安全高级课程的教材。
