暂缺简介...

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

《物理安全》把物理安全作为信息系统安全战略的一个重要组成部分，系统地对与信息系统实体有关的威胁、缺陷和防范措施进行了具体阐述，包括物理安全概述、物理安全需要注意哪些方面以及相关的法律、法规等内容。《物理安全》分析了物理安全设计和配置方面的因素，保护设施免遭非授权访问的方法，设备和信息失窃以及保护人员、设施及其资源所需的环境和相关措施，并在此基础上针对每一个问题研究相关技术，提出预防策略，旨在建立基于物理、技术和行政等多方面有效控制的物理安全机制，构筑安全的物理网络。

《计算机网络安全技术》主要内容：随着信息技术的迅猛发展和广泛应用，社会信息化进程不断加快，信息网络的基础性、全局性作用日益增强。社会对信息化的依赖性也越来越强，信息网络的安全问题愈加重要。当前，伴随着我国社会主义市场经济的快速发展，中国即将或已经成为世界制造业中心，各行各业越来越需要具有综合职业能力和全面素质的，直接工作在生产、技术、管理和服务第一线的应用型、技能型的高级实用人才。可以预见，高等职业技术教育即将和高等教育的本科教育相提并论，并且在我国高等教育体系中占有相当重要的地位。高职教育作为我国高等教育的一个重要组成部分，其培养目标是具有必要理论知识和较强实践能力的高等技术应用型专门人才。它的人才培养以适应生产、建设、管理、服务第一线需要的高等技术应用型专门人才为根本任务；以适应社会需要为目标；以培养技术应用能力为主线；以突出职业性、实践性、适应性和地方性为特点。在计算机教学中，应以传授应用知识为主，强调操作使用，注重培养学生利用计算机开展专业技术分析、解决各种技术问题的意识，培养学生的自学能力和创造性学习的能力为目标。密切结合高职教育的特点，在编写本教材时，对于计算机网络安全的理论知识和工作原理介绍得简单一些，更多的内容侧重于对计算机具体网络安全技术的应用的介绍，体现出注重培养学生实际应用技术能力的特点。在内容的安排上，每章后面都安排了适量的练习与实验题目，并且都配有参考答案，方便教师的教学与学生的自学。在编写的过程中，力求体现教材的系统性、先进性和实用性。

《密码协议基础》较为全面、深入地介绍了信息安全体系中的基础密码协议、高级密码协议及应用密码协议，按照由浅人深的原则，将全书分为13章，内容包括三大部分：基础密码协议、高级密码协议及应用密码协议。基础密码协议由引论、嘧钥协商、实体认证、比特承诺协议组成；高级密码协议部分包括高级签名协议、零知识、不经意传输、秘密分享和门限密码、安全多方计算协议；应用密码协议部分包括Kerberos协议、IKE密钥管理协议、电子现金及无线安全通信。《密码协议基础》对各类密码协议及其相关应用进行了详细的论述和分析，可作为高校计算机、信息安全、电子信息与通信、信息与计算科学等专业高年级本科生和研究生的教学参考书，也可作为相关工程技术人员学习信息安全知识的入门读物。通过阅读《密码协议基础》，读者不仅能够全面熟悉和r解各类密码协议的设计理念和安全机制，还可以提高密码及相关安全协议的独立设计和分析能力。

本书是普通高等教育“十一五”国家级规划教材，是在职业技术教育软件人才培养模式改革项目成果教材的基础上，为适应近年来网络安全方面的发展和教学实践的需要而编写的。本书用通俗易懂的语言阐述了网络安全所涉及的方方面面的问题。本书内容主要包括网络安全概述、网络安全基础、黑客攻击与防范、网络操作系统安全、Web系统安全、网络攻击与防御措施、计算机病毒与防范、防火墙技术、数据加密技术与应用、入侵检测系统、无线网络安全和虚拟专用网。同时构建了几个网络安全实验，包括Ethereal与网络协议分析、网络扫描、木马攻击与防范、拒绝服务攻击与防范、病毒攻击与防范、天网软件和黑盾硬件防火墙配置、DES数据加密与解密、入侵检测系统的配置与应用、虚拟专用网的配置与应用。本书适合高等职业学校、高等专科学校、成人高校、示范性软件职业技术学院及本科院校举办的二级职业技术学院、继续教育学院以及民办高校使用，也可作为工程技术人员学习网络安全知识的参考书。

《信息自由与信息安全》是关于研究信息自由与信息安全的专著，书中具体包括了：信息自由的功效、信息自由中的“义务与职责”、政党政治制度对信息自由的保护、网络环境下的信息内容安全监管体系等内容。《信息自由与信息安全》适合从事相关研究工作的人员参考阅读。

《应用密码学》是作者在多年的教学与科研实践的基础上，按照高等院校的培养目标和基本要求，为实施教学改革，使密码学技术面向应用实践，而编写的一本应用密码学技术基础教材。《应用密码学》在全面讲解密码学基本知识和阐述密码理论的同时，还介绍了大量的算法，阐述了部分算法的安全性以及密码学发展的新方向；为了强化密码算法的理解、掌握与应用，《应用密码学》还介绍了一些典型密码算法的应用以及密码算法的课程设计；每章后都配有相应的习题以实现学与练的统一。全书共11章，主要内容包括密码学基础知识、古典密码、对称密码、序列密码、非对称密码、Hash函数、数字签名、身份认证技术、密钥管理技术、密码学的新方向、密码学的应用等。《应用密码学》内容丰富详实、构思新颖、突出适用，既可作为普通高等院校信息安全、密码学、应用数学、通信工程、计算机、电子商务等相关专业的本科生或研究生的教学用书，也可作为相关领域技术人员的参考书。

《公钥密码学：设计原理与可证安全》重点介绍公钥密码的可证安全理论和旁道攻击技术，内容包括公钥密码基础理论、公钥密码的可证安全理论和旁道攻击三个部分。第一部分为公钥密码学基础理论，介绍了公钥密码体制的提出和特点、公钥密码与杂凑函数、公钥基础设施以及基本体制；第二部分为公钥密码体制的可证安全理论，重点论述加密体制的可证安全、签名体制的可证安全以及混合加密体制的可证安全性分析；第三部分概略介绍公钥密码的旁道攻击技术。《公钥密码学：设计原理与可证安全》适合高等学校计算机、信息安全、电子信息与通信、信息与计算科学等专业的研究生以及相关专业的研究人员使用。

本书主要从网络操作系统及应用服务、网络设备、网络访问与存储3个方面出发，全面介绍了网络安全防御系统的规划与部署。操作系统及应用服务安全主要包括Windows Server 2008基本安全配置、系统漏洞安全、活动目录安全、Web网站访问安全、FTP服务安全、网络防病毒系统以及Windows Vista和Windows XP客户端的安全部署。网络设备安全主要包括交换机、路由器、网络安全设备以及IOS的安全配置。网络访问与存储安全主要包括网络访问防护、远程访问安全、Forefront TMG安全网关、数据存储与访问安全以及网络流量分析等内容。本书内容全面、技术新颖、图文并茂、贴近应用、通俗易懂，既可以作为中高级网络安全管理人员的工具用书，也可以作为各类院校相关专业的教材及网络安全培训班教材，还可作为高校毕业生充电的自学参考书。