Formal Analysis of Network Properties for Network Validation

Authors

  • Swapnil Wable  Post Graduate Student, Department of Computer Engineering, Vishwakarma Institute of Information Technology, Pune, India
  • Divya Punwantwar  Post Graduate Student, Department of Computer Engineering, Vishwakarma Institute of Information Technology, Pune, India
  • Manisha Mali  Assistant Professor, Department of Computer Engineering, Vishwakarma Institute of Information Technology, Pune, India
  • Kirti Wanjale   Associate Professor, Department of Computer Engineering, Vishwakarma Institute of Information Technology, Pune, India

DOI:

https://doi.org/10.32628/IJSRSET2072119

Keywords:

Network, Router, COS, Routing, Network Topology.

Abstract

Today's rapidly growing and ever-changing world, the demands of high productivity, security of computer systems and computer networks is very important. In the modern and rapidly growing and changing internet era, network plays a vital role. And for transmitting data over a network or communication network for that various things are used and that things first must know while validating data over the network. And for that purpose, in these paper a detailed study and analysis of some networks key points are presented.

References

  1. Beckett, Ryan and Gupta, Aarti and Mahajan, Ratul and Walker, David, ”A general approach to network configuration verification”, 2017, acm
  2. Beckett, Ryan and Mahajan, Ratul and Millstein, Todd and Padhye, Jitendra and Walker, David, ”Network configuration synthesis with abstract topologies”, 2017, acm
  3. Lee, Kyungwoon and Hong, Cheol-Ho and Hwang, Jaehyun and Yoo, Chuck,”Dynamic Network Scheduling for Virtual Routers”, 2019, IEEE
  4. Dua, Aneesh and Tyagi, Vibhor and Patel, ND and Mehtre, BM, ” IISR: A Secure Router for IoT Networks”, 4th International Conference, 2019, IEEE
  5. Knoll, Dipl-Ing Thomas Martin, ”BGP Class of Service Interconnection”, 2017
  6. Usman, Muhammad and Oberafo, Eromosele Ehimeme and Abubakar, Mahdi Alhaji and Aminu, Tahir and Modibbo, Abubakar and Thomas, Sadiq, ”Review of Interior Gateway Routing Protocols”, 15th International Conference, 2019, IEEE
  7. V Monita, ID Irawati, R Tulloh,” Comparison of routing protocol performance on multimedia services on software defined network”,vol. 9, 2020, beei
  8. Balasas, E Angelo’s and Psannis, Kostas E and Roumeliotis, Manos, ” Performance Evaluation of Routing Protocols for BIG Data Application”, 2019, Springer
  9. Srivastava, Rishabh and Singh, Archana,”Route Redistribution Between EIGRP and OSPF Routing Protocol Using GNS3 Software”, vol. 5, 2017, International Journal for Research in Applied Science & Engineering Technology
  10. C Risso, C Mayr, E Gramp´?n, ”A Combined BGP and IP/MPLS Resilient Transit Backbone Design” 11th International Conference, 2019, IEEE
  11. Wai, Khaing Khaing, ”Analysis of RIP, EIGRP, and OSPF Routing Protocols in a Network”, 2019, academia.edu
  12. Bauer, David and Yuksel, Murat and Carothers, Christopher and Kalyanaraman, Shivkumar,”A case study in understanding OSPF and BGP interactions using efficient experiment design”, 2006, IEEE
  13. Da Silva, Ricardo Bennesby and Mota, Edjard Souza, ”A survey on approaches to reduce BGP interdomain routing convergence delay on the Internet”, vol. 19, 2017, IEEE
  14. Pavani, K and Mishra, Himanshu and Karsh, Ramkumar, ”Multi-attached Network Topology with Different Routing Protocols and Stub Network Resolution in OSPF Routing”, 2019, springer
  15. Farkash, Maryam,”Network Topology”, 2018, Libyan International Medical University
  16. Zhalechian, M and Torabi, S Ali and Mohammadi, M,”Hub-and-spoke network design under operational and disruption risks”, vol. 109, 2019, Elsevier

International Journal of Scientific Research in Science, Engineering and Technology

Downloads

Published

2020-04-30

Issue

Volume 7, Issue 2, March-April-2020

Section

Research Articles

License

Copyright (c) IJSRSET

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

[1]
Swapnil Wable, Divya Punwantwar, Manisha Mali, Kirti Wanjale "Formal Analysis of Network Properties for Network Validation" International Journal of Scientific Research in Science, Engineering and Technology (IJSRSET), Print ISSN : 2395-1990, Online ISSN : 2394-4099, Volume 7, Issue 2, pp.628-636, March-April-2020. Available at doi : https://doi.org/10.32628/IJSRSET2072119