Title :
Specifying dynamic routing protocol in a form of CPN
Author_Institution :
Dept. of Telecommun. Syst. Software Eng., Odessa Nat. Acad. of Telecommun. n.a. O.S. Popov, Odessa, Ukraine
Abstract :
BGP-E6 dynamic routing protocol is developed for autonomous systems and back-bone networks based on innovative E6 protocol stack. Base algorithms specifications are presented in a form of Colored Petri Nets. Simulation of the model proves the protocol´s correctness.
Keywords :
Petri nets; routing protocols; BGP-E6 dynamic routing protocol; CPN; E6 protocol stack; colored petri nets; specifying dynamic routing protocol; Counting circuits; Ethernet networks; Intrusion detection; Network topology; Petri nets; Routing protocols; Software performance; System software; Systems engineering and theory; BGP-E6; CPN; Distance-vector routing; E6 protocol stack; Specification; UA-E6;
Conference_Titel :
Modern Problems of Radio Engineering, Telecommunications and Computer Science (TCSET), 2010 International Conference on
Conference_Location :
Lviv-Slavske
Print_ISBN :
978-966-553-875-2
Electronic_ISBN :
978-966-553-901-8
