This paper focuses on the formal verification of MANET non-secure and secure routing protocols.

在安全问题中，路由协议的正确性尤为重要。

youdao

With the widely use of wireless network, it is an important research field how to design a secure routing protocol which is effective for Ad hoc network.

随着无线网络的广泛应用，设计一种有效安全的路由协议是目前亟待研究的重要课题。

youdao

This paper presents an attack detection policy based on data link monitoring with support of secure routing protocol, which aims at traffic pattern distortion attacking.

该文在安全路由协议的基础上，针对流量模式类攻击，提出一种基于数据链路监视的攻击检测机制。

youdao

Take all needed steps to secure networks, such as filtering incorrect routing information and spam and denying unauthorized access.

CNN: Global panel issues Internet security recommendations

These referred to ways to establishing a secure communication link between different types of computers using a protocol referred to as TARP (Tunneled Agile Routing Protocol).

BBC: Apple loses Facetime patent lawsuit to VirnetX