面向铁路应急的MANET安全节点发现协议建模

Modeling of MANET Security Node Discovery Protocol for Railway Emergency

针对铁路应急通信网络安全问题,通过对其特征的详细分析,提出了面向铁路应急的移动自组网络安全节点发现协议建模,以达到解决铁路应急通信网络安全节点发现问题的目的.在对铁路应急的移动自组网络规则描述的基础上,给出具体的安全节点建模过程,并对其正确性、安全性、执行效率进行了详细的分析.最后以两类具体的安全节点发现过程为实例进行探讨,表明其与传统加密方式结合后,仍保持其有效性.

In order to achieve the purpose of security node discovery in railway emergency communication network,a modeling of security node discovery protocol for railway emergency mobile ad hoc network is presented according to security problems in railway emergency communication network by analyzing their characteristics in detail.On the basis of the rule description of mobile ad hoc network for railway emergency,the specific security node modeling process is presented,and its correctness,security and performance are analyzed in detail.Finally,two kinds of specific security node discovery processes are presented to show that the method combined with the traditional encryption is still effective.