《空间网络安全与验证》唐朝京，鲁智勇，彭长艳，冯超，张磊　编国防工业出版社

内容简介：

　　空间信息网络集成了各种空间信息获取、传输、处理、分发和应用系统，能够实现快速智能的信息共享和综合利用，极大地促进了制信息权优势的获得，是未来信息化战争的核心技术支撑，并将对军事现代化产生巨大的推动作用。唐朝京、鲁智勇等著的《空间网络安全与验证》内容分为三部分：介绍了空间网络及架构；论述了空间网络安全策略、空间网络安全体系结构、安全路由、安全传输控制、密钥管理和安全切换等关键技术；探讨和研究了空间网络安全协议建模、协议安全定量验证方法和协议安全定性验证方法等技术。
　　本书可作为从事空间网络安全和对抗人员的必备参考资料，也可作为高等院校学生和教师参考书以及工程实践用书。

目录：