Formal modeling and improvement in the random path routing network scheme using colored petri nets
Loading...
Date
2021
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Wireless Sensor Network (WSNs) has been applied in networking devices and a new problem as emerged called Source Location Privacy(SLP), particularly in critical security systems. Many state of the art protocols has
been proposed to address the Source Location Privacy problems, eachn protocol is having its pros and cons. As the WSNs has limited battery capacity and low computational ability. One of the popular protocol is
Random Path Routing (RPR). In existing RPR sometimes the computational cost becomes very high when the system keeps on sending tokens from longest path. This Research has proposed improvements in existing RPR.
The novelty of proposed Calculated Random Path Routing (CRPR) is that it first calculates the top three shortest parts and then sends token to any of the three calculate paths randomly, making sure the prefect tradeoff between computational cost and the SLP. Our methodology includes the Formal modeling of the CRPR in Color Petri Nets. Modeling and Validation of CRPR will leads to efficient and secure network.