论文研究 空间延迟容忍网络安全通信模型.pdf

针对空间网络延迟容忍问题, 提出一种用于空间延迟容忍网络（space delay-tolerant network, SDTN）的安全通信模型。该模型采用谓词逻辑的方法, 建立了SDTN有向多径图、安全协议服务集、可靠路径选择服务集、转发能力集, 给出了模型的安全约束规则、安全通信算法。定义了空间延迟容忍网络安全通信的状态机系统, 证明了模型的安全性、可靠性和所具有的延迟容忍能力, 从理论上奠定了空间延迟容忍网络安全通信的基础。