This paper focuses on the formal verification of MANET non-secure and secure routing protocols.
在安全问题中，路由协议的正确性尤为重要。
In all these scenarios, you can use the higher-level Web service protocols such as WS-Addressing and WS-Security, which give you flexible routing schemes and secure interactions, respectively.
在所有这些场景中，您可以使用诸如ws - Addressing和WS - Security等高级Web服务协议，这些协议分别为您提供灵活的路由方案和安全的交互。
MCPK-based security with routing protocols, OLSR neighbor detection stage by the introduction of secure authentication mechanisms to prevent wormhole attacks.
采用基于MCPK的安全路由协议，通过在OLSR邻居探测阶段引入安全验证机制来预防虫洞攻击。
应用推荐