本书系统地总结了安全归约的证明方法，包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化，从基于群的密码学基础、安全归约基础理论（包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等）、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书，也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。
详细阐释了大气效应及其对卫星通信系统设计和性能的影响，并介绍了研究成果。《卫星通信系统工程》阐述和分析了对当前卫星系统十分重要的所有大气效应，介绍了链路设计和系统性能评估所需的工具。本书可以作为卫星通信及相关领域通信工程师、无线网络和系统工程师、系统设计人员以及院校研究生的一部好参考书。
