<?xml version="1.0" encoding="UTF-8"?>
<article article-type="research-article" xml:lang="en" xmlns:xlink="http://www.w3.org/1999/xlink">
<front>
<journal-meta>
<journal-id journal-id-type="publisher">global-journal-of-computer-science-and-technology-e-network-web-security</journal-id>
<journal-title-group>
<journal-title>Global Journal of Computer Science and Technology - E: Network, Web &amp; Security</journal-title>
</journal-title-group>
<issn publication-format="print">0975-4350</issn>
<issn publication-format="electronic">0975-4172</issn>
<publisher><publisher-name>Global Journals Publishing Group Incorporated</publisher-name></publisher>
<self-uri xlink:href="https://globaljournals.org/journal-seo-export/jats/55127.xml" />
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">55127</article-id>
<title-group>
<article-title>Formal Verification and Validates the Mobile Nodes using NNDRP</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author"><name><surname>Narender</surname><given-names>Machha</given-names></name><xref ref-type="aff" rid="aff1" />
</contrib>
<contrib contrib-type="author"><name><surname>.R.P.Singh</surname><given-names>Dr</given-names></name></contrib>
</contrib-group>
<aff id="aff1">INDIA, Sri Satya Sai University of Technology and Medical Sciences</aff>
<pub-date publication-format="electronic" date-type="pub" iso-8601-date="2017-01-15">
<day>15</day>
<month>01</month>
<year>2017</year>
</pub-date>
<volume>17</volume>
<issue>E2</issue>
<fpage>65</fpage>
<lpage>72</lpage>
<abstract><p>Mobile ad-hoc networks are wireless networks and these are suitable for safety critical applications due to its ad-hoc 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.</p></abstract>
<kwd-group kwd-group-type="author-generated">
<kwd>MANETS</kwd>
<kwd>validation</kwd>
<kwd>AODV</kwd>
<kwd>NTP</kwd>
<kwd>NNDRP.</kwd>
</kwd-group>
<self-uri content-type="pdf" xlink:href="https://globaljournals.org/GJCST_Volume17/7-Formal-Verification-and-Validates.pdf" />
<self-uri content-type="html" xlink:href="https://globaljournals.org/scholarly-articles/formal-verification-and-validates-the-mobile-nodes-using-nndrp/" />
</article-meta>
</front>
<body>
<sec>
<title>Full Text</title>
<p>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.</p>
</sec>
</body>
</article>