本书系统地总结了安全归约的证明方法，包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化，从基于群的密码学基础、安全归约基础理论（包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等）、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书，也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。
详细阐释了大气效应及其对卫星通信系统设计和性能的影响，并介绍了研究成果。《卫星通信系统工程》阐述和分析了对当前卫星系统十分重要的所有大气效应，介绍了链路设计和系统性能评估所需的工具。本书可以作为卫星通信及相关领域通信工程师、无线网络和系统工程师、系统设计人员以及院校研究生的一部好参考书。
本书从架构、业务、技术三个维度介绍港口智能电子商务的知识和应用。主要内容包括三部分：*部分（第１章～第３章）从电子商务的基础架构、模式、基础技术、安全与支付，以及法律环境等方面结合案例介绍电子商务的基础知识和应用；第二部分（第４章～第６章）介绍物联网、云计算、大数据等关键技术及其在港口商务中的应用；第三部分（第7章）介绍港口智能电子商务应用的典型案例。
