本书全面详细地介绍个人计算机的网络安全反黑技术，并提供大量实用工具和操作案例。本书从社会工程学角度出发，首先讲解了信息的搜索，然后说明如何防止黑客挖掘用户隐私；在介绍如何防范商业间谍窃密时，列举了黑客惯用的手段，如黑客攻击、跨站攻击、欺骗攻击、反侦查技术等；对日常生活中所面临的网络钓鱼风险，网上冲浪、社交媒体中存在的安全威胁，以及电信诈骗等内容进行了详细讲解；最后讲解了网络安全铁律及扫描工具和防范黑客常用的入侵工具。本书图文并茂，通俗易懂，适用于黑客及网络安全技术初学者、爱好者，也适用于企事业单位从事网络安全与维护的各类读者。

本书结合作者在大数据安全与隐私保护领域的科研实践，提出大数据安全与隐私保护理论基础和技术体系框架，并对大数据安全与隐私保护面临的主要问题进行系统性阐述。本书重点介绍安全检索技术、隐私保护技术、安全存储与访问控制技术，以及安全处理技术，从技术核心贡献、领域发展综述和1新研究进展等不同角度进行阐述，有助于感兴趣的读者较为全面地理解和把握这些技术。 本书可作为从事网络空间安全、信息安全和隐私保护研究的科研人员，网络空间安全、信息安全和密码学专业的研究生，以及相关专业的大学高年级本科生的教科书或参考资料。

本书共分7章。第1章讲述抗敏感信息泄露的技术动机和研究背景；第2章介绍本书涉及的基础理论知识及不同泄露函数的形式化模型与定义；第3章给出几种抗泄露哈希证明系统框架和构造；第4章介绍几种不同模型和性能的有界泄露公钥加密体制，并给出其优化和扩展方案；第5章给出抗泄露身份基类加密体制；第6章介绍辅助输入泄露模型及解决方案；第7章介绍抗泄露计算及隐私保护自动机推理。本书可作为信息安全、网络空间安全、网络工程与网络安全协议等专业研究生和高年级本科生的参考用书，也可以作为有关研究人员和工程技术人员的参考书。

《网络安全攻防技术：移动安全篇》从无线安全、移动安全以及移动物联网安全的基础理论、工作原理和实训实战等多个方面进行全面与系统的介绍，内容涵盖当前无线移动安全领域的核心技术，包括无线安全概述、无线加密技术、蓝牙安全技术、GPS安全技术、移动终端系统安全攻防技术、Java层和Native层的移动逆向技术、Android程序的反破解技术、物联网关键技术、RFID系统安全技术、无线传感器网络安全技术和智能终端网络安全攻防技术等。

可信计算3.0是我国首 创的新一代安全计算模式，对我国信息安全的发展有着革命性影响。本书是首部关于可信计算3.0的专著，主要聚焦于可信计算的工程实现，以指导可信计算3.0的工程应用和推广。本书介绍了可信计算3.0的理念、基本概念和核心框架，依托北京工业大学可信计算重点实验室自主开发的可信计算3.0架构原型，展开讨论了可信计算密码服务、节点可信环境、可信网络连接的工程实现方法，介绍了可信3.0在密码、节点安全、网络安全方面的创新技术，提供了多个开源的工程实例，并展望了可信计算3.0在云计算、物联网、大数据等场合的技术应用前景。本书可作为高等院校信息安全专业本科生和研究生的参考教材，也可作为信息安全领域研究人员的参考书。

本书系统地介绍了密码学的基本原理、基本算法，并对其安全性进行了相应的分析。 全书主要内容包括绪论、基础知识、古典密码、分组密码、序列密码、Hash函数、公钥密码、数字签名与身份认证、密钥管理和现代密码学发展前沿及应用等。 本书主要作为信息安全、网络工程、计算机科学与技术、通信工程等专业本科高年级学生的教材，也可供相关专业的科技人员参考。

《食品安全标准应用手册》共分十二个章节，第一章食品安全标准概述部分，重点阐述食品安全标准概念、发展过程、构成体系、制定原则和依据、制定程序及标准跟踪评价等。第二章至第八章，分别就食品微生物限量、食品中污染物限量、食品中农药及兽药残留、食品添加剂使用、食品营养强化剂使用、食品接触材料、食品标签等食品安全通用标准进行解读。第九章重点解读食品生产通用卫生规范。第十章选择部分产品标准进行重点解读。第十一章介绍食品安全地方标准管理及浙江省食品安全地方标准。第十二章介绍国际食品法典标准及国内外食品安全标准对比。

本书从标识鉴别理论到自主可控理论，再到基于证据的虚拟网络理论，探索了网信安全的实质。网信空间由实体空间和事件空间构成，由此形成了基于实体鉴别的虚拟物联网和基于事件鉴别的虚拟事联网的新概念。基于标识到标识（ItoI）模式的虚拟网络，是“一物一证”“一事一证”的可证网络。虚拟网络的可证性为自主可控提供了控制的依据，虚拟网络的独立性，为构建自主可控网络提供了理论依据，将网信安全的总体构架建立在安全理论的基础之上。

安全协议作为信息安全的重要基础之一，其安全属性能否达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖两部分：用形式化的语义定义协议的执行规格和安全属性，精确表示安全协议的安全属性；综合运用各种形式化方法设计一个高效的验证算法，在可接受的时间内验证安全属性。本书还探讨了多协议安全分析，比较分析了各种验证理论和发展趋势。

本书提出了物联网网络保障的概念和方法，分析了物联网环境的网络保障需求，强调了物联网的关键信息保障问题，并确定了信息保障相关的安全问题。本书是由工作在网络保障、信息保障、信息安全和物联网一线行业的从业人员和专家根据其研究成果撰写而成，内容涵盖了当前信息保障的问题、挑战和解决物联网保障所需的基本概念和先进技术，也包含了射频识别（RFID）网络、无线传感器网络、智能电网以及工业控制系统的监控与数据采集（SCADA）系统。