空间网络安全与验证

本书内容分为四部分，共计11章。第一部分共有2章，对空间网络及架构进行了描述；第二部分共有6章，对空间网络安全策略、空间网络安全体系结构、安全路由、安全传输控制、密钥管理和安全切换等关键技术开展了研究；第三部分共有3章，对空间网络安全协议建模、协议安全定量验证方法和协议安全定性验证方法等技术进行了研究；第四部分是附录、术语表和参考文献。