DocumentCode
2055823
Title
Specifying dynamic routing protocol in a form of CPN
Author
Litvin, Dmitry
Author_Institution
Dept. of Telecommun. Syst. Software Eng., Odessa Nat. Acad. of Telecommun. n.a. O.S. Popov, Odessa, Ukraine
fYear
2010
fDate
23-27 Feb. 2010
Firstpage
215
Lastpage
215
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;
fLanguage
English
Publisher
ieee
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
Type
conf
Filename
5446108
Link To Document