Title	Formal Verification of Ring-based Leader Election Protocol using Predicate Diagrams
Author	Cecilia E. Nugraheni
Citation	Vol. 9  No. 8  pp. 1-8
Keywords	Leader election protocol, distributed systems, verification, TLA* TLA+, predicate diagrams*

Title	A scalable distributed IDS Architecture for High speed Networks
Author	Hassen Sallay, Khalid A. AlShalfan, Ouissem Ben Fred j
Citation	Vol. 9  No. 8  pp. 9-16
Keywords	Intrusion Detection, High Speed Networks, Distributed Architecture, Scalability

Title	A Network Authentication Protocol Based on Kerberos
Author	Eman El-Emam, Magdy Koutb, Hamdy Kelash, Osama Farag Allah
Citation	Vol. 9  No. 8  pp. 17-26
Keywords	Access control, authentication, authorization, computer network security, Kerberos, protocols

Title	Transport of Assigned Wavelength Channels Over Ultra-high Speed Ethernet All-Optical DWDM Networks Under Constraints of Fiber Chromatic and Polarization Mode Dispersion Effects
Author	Le Nguyen Binh, Le Huu Binh
Citation	Vol. 9  No. 8  pp. 27-37
Keywords	integrated routing, DWDM networks, network traffic, network graph