空间延迟容忍网络安全通信模型

Space delay-tolerant network secure communication model

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

This paper proposed a secure communication model for space delay-tolerant network. This model applied predicate logic, and built SDTN directed multi-path graph, security protocol service set, reliable path selection service set, and forward- ing capacity set. It also gave out the model＇ s security constraint rule and secure communication algorithm. It defined the state machine of space delay-tolerant network secure communication, and proved the model＇ s security, reliability and delay-tolerant ability, which laid the foundation for space delay-tolerant network secure communication.