空间网络安全与验证

内容简介

本书内容分三部分：介绍了空间网络及架构；论述了空间网络安全策略、空间网络安全体系结构、安全路由、安全传输控制、密钥管理和安全切换等关键技术；探讨和研究了空间网络安全协议建模、协议安全定量验证方法和协议安全定性验证方法等技术。