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

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

youdao

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

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

youdao