Formal Verification and Validates the Mobile Nodes using NNDRP
Mobile ad-hoc networks are wireless networks and these are suitable for safety critical applications due to its adhoc behavior but attackers easily enter in to the network and they can access the network, so security is a crucial factor for any communication protocols, especially in mobile environment, so verifying the node that may be a malicious node or trustworthy node is a challenging task, but most of the researchers focused on the neighbor nodes distance only but they are not focused on security. This paper provides secure routing for MANET using NNDRP protocol, this protocol verify and validate the nodes with security measures.