A Routing Calculus with Distance Vector Routing Updates
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2018, Vol 9, Issue 10
Abstract
We propose a routing calculus in a process algebraic framework to implement dynamic updates of routing table using distance vector routing. This calculus is an extension of an existing routing calculus DRωπ where routing tables are fixed except when new nodes are created in which case the routing tables are appended with relevant entries. The main objective of implementing dynamic routing updates is to demonstrate the formal modeling of distributed networks which is closer to the networks in practice. We justify our calculus by showing its reduction equivalence with its specification Dπ (distributed π-calculus) after abstracting away the unnecessary details from our calculus which in fact is one of the implementations of Dπ. We nomenclate our calculus with routing table updates as DRϕπ .
Authors and Affiliations
Priyanka Gupta, Manish Gaur
Keywords
Related Articles
- EP ID EP408913
- DOI 10.14569/IJACSA.2018.091067
- Views 106
- Downloads 0
Diagnosis of Diabetes by Applying Data Mining Classification Techniques
Health care data are often huge, complex and heterogeneous because it contains different variable types and missing values as well. Nowadays, knowledge from such data is a necessity. Data mining can be utilized to extrac...
An Approach to Keep Credentials Secured in Grid Computing Environment for the Safety of Vital Computing Resources
Presently security attacks have aimed to vulnerabilities in repetitive-use authentication secrets like static passwords. The passwords are used by user in clients side are vulnerable, as the attackers can gain access to...
Real-Time Analysis of Students’ Activities on an E-Learning Platform based on Apache Spark
Real time analytics is the capacity to extract valuables insights from data that comes continuously from activities on the web or network sensors. It is largely used in web based business to drive decisions based on user...
Investigating Technologies in Decision based Internet of Things, Internet of Everythings and Cloud Computing for Smart City
The idea of a Smart City features the need to upgrade quality, interconnection and execution of different urban administrations with the utilization of data and correspondence advances (ICT). Smart City advances cloud-ba...
Anonymized Social Networks Community Preservation
Social Networks have been widely used in the society. Most of the people are connected to one another, communicated with each other and share the information in different forms. The information gathered from different so...