本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及*成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化验证安全协议Java实施认证性、基于计算模型生成密码学安全的安全协议Java实施、基于符号模型生成密码学安全的安全协议Java实施等。

《IPv6技术精要》从IP的发展以及IPv4的不足入手，全面阐述了IPv6的各种基本知识，包括IPv6编址、ICMPv6与邻居发现协议、IPv6路由、DHCPv6等内容，并详细讨论了包括双栈、隧道、转换在内的各种IPv4向IPv6迁移的过渡技术。为便于读者深入掌握各章所学知识，《IPv6技术精要》通过大量实用案例详细阐述了IPv6地址以及各种IPv6协议与进程的CiscoIOS配置信息和配置命令，对于理解IPv6以及从IPv4向IPv6迁移提供了非常有用的参考内容。受篇幅限制，《IPv6技术精要》没有过多地去描述IPv4的相关内容，只是对IPv6与IPv4相关知识点进行了分析和对比，因而读者应具备基本的IPv4基础知识。 《IPv6技术精要》适用于任何希望学习IPv6基础知识的读者，包括所有从事网络架构和网络设计工作的专业人士以及广大网络专业的在校学生。

什么是IP？简单说来，IP就是知识产权，可以是一首歌，比如《同桌的你》；可以是一部小说，比如《鬼吹灯》；可以是一台话剧，比如《夏洛特烦恼》；可以是某个人，比如周星驰 本书作者结合自身多年的互联网营销经验，通过papi酱、罗振宇、咪蒙、吴晓波等成功案例的分析，由理论到实践，从魅力人格体、超强内容力、极致传播力、粉丝运营、商业变现、自品牌生命力六个方面，详细介绍超级IP的打造与运营方法，全书通过典型性的生动例证和颇具独到见地的理论总结，使其可读性得到明显的提高。IP星星之火，已成燎原之势。一个 个体崛起 的互联网商业时代已经来临，让我们把握风口，借势而飞！

《无线传感器网络轻量级密码算法与协议》围绕无线传感器网络轻量级密码算法与应用协议展开论述，首先分析了无线传感器网络的安全特点，综述了加密算法的研究现状；接着分别介绍了神经网络密码、整数型混沌密码、优化的身份公钥等新型轻量级算法，并详细阐述了在此基础上构建的无线传感器网络密钥管理及其他若干轻量安全协议设计；后讨论了无线传感器网络安全协议的形式化方法与工具，并给出了具体的分析实例。 《无线传感器网络轻量级密码算法与协议》研究的内容兼具理论深度和工程实用性，内容叙述专业性较强、逻辑联系较紧密，尤其是后面若干安全协议的设计依赖于前面提出的各种算法，应用创新性较强。 《无线传感器网络轻量级密码算法与协议》适合高等院校的计算机、信息安全、网络工程、物联网等专业研究生和高年级本

作为本IEEE 1888协议的著作，《IEEE 1888智慧能源标准及开发指南》系统而全面地介绍了该协议的内容及应用方法。 全书共分9章，分别介绍了IEEE 1888协议的发展过程、应用领域、系统架构、通信方法、设计及开发方法、应用案例、管理控制，以及协议安全性等内容。全书的后包括两个附录，详细介绍了协议参考代码的阅读和使用方法，以及配套示例源代码，以方便读者参考使用。 《IEEE 1888智慧能源标准及开发指南》适合具有一定编程基础的读者阅读，对ICT和智慧能源领域的从业人员，以及计算机、通信领域的科研人员，具有切实的学习和参考价值。