信息安全
-
黑客攻防从入门到精通创客诚品《黑客攻防从入门到精通》根据从易到难的规律，循序渐进且全面地介绍了黑客攻防的主要知识，涵盖了认识黑客、黑客攻防准备、扫描与嗅探攻防、操作系统漏洞攻防、密码攻防、病毒攻防、木马攻防、电脑后门攻防、局域网攻防、远程控制攻防、ＱＱ攻防、上网及电子邮件攻防、网络设备安全、安全设置、备份与安全等内容。本书中的重点讲解主要在于介绍如何采取有效的防御措施来有效的防止黑客入侵攻击自己的计算机。内容丰富全面，图文搭配，深入浅出的讲解，非常适合广大网络爱好者、从事网络安全的工作者及网络管理人员。 -
如何与狗狗安全相处暂缺作者暂缺简介... -
网络空间安全宋军，马钊，杨帆 著《网络空间安全：C语言课程设计与习题辅导》是《网络空间安全：C语言程序设计》（科学出版社，2018）的配套习题辅导，旨在为学习者学习C语言程序设计课程提供指导和帮助。《网络空间安全：C语言课程设计与习题辅导》以C语言程序设计的基本思想和方法为主线，以培养学习者的逻辑思维能力、程序设计能力和自主学习能力为导向，以强化和巩固程序设计的综合能力和基本素养为目标。《网络空间安全：C语言课程设计与习题辅导》共分四章，包括章节练习、教材习题解析、试卷真题和上机实验与课程设计四个部分，内容注重实用性和简洁性，以快速掌握程序设计思路和解题方法为出发点，突出分析问题和解决问题的逻辑性及贯通性。《网络空间安全：C语言课程设计与习题辅导》第1章，第3章参考答案请扫章节结尾处二维码。 -
安全协议形式化分析与验证肖美华 著《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言ProDL，阐述了基于算法知识逻辑的网络安全协议模型检测分析方法，用于显式地刻画入侵者模型能力；在网络安全协议验证模型生成系统中，采用偏序归约、语法重定序以及静态分析等优化策略，有效缓解模型检测过程中状态爆炸问题；对事件逻辑进行扩展，提出一系列规则，对安全协议进行形式化描述，无需显性刻画入侵者模型，只需分析协议动作之间的匹配顺序关系即可对协议的安全性进行证明。 -
云之安全、隐私与数字取证陈磊，[美] 哈桑·塔卡比，[爱尔兰] N.A勒哈克 编《云之安全、隐私与数字取证（英文版）》以独特而系统的方式讨论了云的安全和隐私问题以及相关的云取证。云计算是一种新兴的革命性技术，它一直在改变人们的生活和工作方式。但是，随着云计算和相关服务的不断发展，安全和隐私已成为一个关键问题。该书由该领域专家撰写，集中讨论了云的安全性和隐私性，以及云数据、应用程序和服务的数字取证。该书前半部分可使读者对云安全的背景有全面的了解，也将有助于他们理解该书后半部分的数字调查、指导和建议。《云之安全、隐私与数字取证（英文版）》第—部分包括云基础架构的安全性，数据的机密性，云laaS中的访问控制，云安全和隐私管理，黑客攻击和对策，风险管理和灾难恢复，审计和合规以及安全服务（SaaS）；第二部分包括云取证的模型、挑战和方法，云中的网络恐怖主义，云中的数字取证过程和模型，数据采集，数字证据管理、演示和法庭准备，数字证据分析和取证服务（FaaS）。《云之安全、隐私与数字取证（英文版）》可作为信息安全、信息技术、计算机科学和网络取证领域高年级本科生和研究生的学习参考书，也可供安全专业人员、数字取证从业者和云服务提供商参考使用。 -
CISSP官方学习指南迈克·查普尔，CISSP 著，王连强，吴潇，罗爱国 等译100%涵盖全部考试目标：◆ 安全与风险管理 ◆ 资产安全 ◆ 安全架构和工程 ◆ 通信与网络安全 ◆ 身份和访问管理 ◆ 安全评估与测试 ◆ 安全运营 ◆ 软件开发安全 -
博弈系统论杨义先 著在现行的系统科学中，各种“系统论”主要都是建立在各方相互协调和配合的基础之上的，而本书则基于维纳的“反馈、微调、迭代”赛博思想，在黑客和红客彼此对抗（或管理者和被管理者彼此钩心斗角）的基础上，建立了一套新型的系统理论，称之为“博弈系统论”；它不仅能够比较准确地预测黑客的攻击行为，而且能够用于对抗性管理，同时与之相应的管理学，也可称为“赛博管理学”。特别是，该系统理论揭示了在各种情况下，如何对黑客的攻击行为和效果进行量化预测，以便为随后的管理和防范提供依据。本书主要适用于三个方面的应用和人群：首先，本书不仅可作为高等院校网络空间安全一级学科及相关专业的本科生、研究生的教材和教学参考书，而且可供信息安全界的政、产、学、研、用的相关人员了解黑客与红客的对抗的统一基本规律；其次，本书可供系统科学和应用数学领域的专业人士了解对抗环境下博弈系统的演变规律和*新挑战，并充分利用自身优势，大力推进相关研究的发展；*后，本书还可供管理学领域的专业人士了解赛博时代管理学所面临的新问题和新挑战，即动态管理学。 -
国内外食品检验方法的标准及规范分析国家食安评估中心暂缺简介... -
密码学原理及案例解析单广荣，齐爱琴本书内容涵盖了密码学技术、PKI技术、PMI技术、身份认证技术、无线安全技术等几个方面，实践项目既包含对密码学原理的理解和运用，又融合当今网络安全的某些主流技术，以适应基础与验证性、综合和设计性两种不同层次的要求。《BR》本书共6章，第1章介绍密码学技术，第2章介绍PKI技术，第3章介绍PMI技术，第4章介绍身份认证技术，第5章介绍无线安全技术，第6章介绍数据备份及恢复技术。 -
计算机网络安全的理论与实践王杰，孔凡玉 编著暂缺简介...
