Security Analysis and Application of Common Dynamic Routing Protocol

Shoubai Xiao
2017 Proceedings of the 2017 7th International Conference on Education, Management, Computer and Society (EMCS 2017)   unpublished
Mobile Ad Hoc network is a kind of multi-hop wireless network without infrastructure. The network node is both a host and a router. The secure routing protocol can obtain trusted path information only by relying on all the trusted nodes in the network, which needs to use cryptographic security protocol to achieve. However, the analysis of routing protocol security is different with the security of analysis of cryptographic security protocol, and the behavior of network intermediate nodes that
more » ... mposing the network must be considered. Therefore, the formal analysis technology for cryptographic security protocol cannot be directly used for the security analysis of secure routing protocols. The new method of designing and analyzing secure routing protocols has important theoretical and application value.
doi:10.2991/emcs-17.2017.89 fatcat:izn5n4mxhffcdibjvnflae3ery