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

Space delay-tolerant network secure communication model

作　　者：杜学绘[1] 陈性元[1] 曹利峰[1] 徐国愚[1] 

机构地区：[1]解放军信息工程大学数学工程与先进计算国家重点实验室,郑州450004

出　　处：《计算机应用研究》2013年第10期3096-3100,3105,共6页Application Research of Computers

基　　金：国家“973”重点基础研究发展计划基金资助项目(2011CB311801)

摘　　要：针对空间网络延迟容忍问题,提出一种用于空间延迟容忍网络(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.

关 键 词：延迟容忍网络 安全通信模型 有向多径图 安全约束规则 状态机 

分 类 号：TP393.06[自动化与计算机技术—计算机应用技术]