Formal Verification of Standards for Distance Vector Routing Protocols (2000)

by Karthikeyan Bhargavan , Davor Obradovic , Carl A. Gunter
Citations:65 - 3 self

Active Bibliography

3 Formal Analysis of Convergence of Routing Protocols – Davor Obradovic - 2000
2006:45|issn: 1���-1757|isrn: ltu-lic-- 06 ⁄45-- seConvergence Issues in Inter-Domain Routing and Connectivity Modeling of Ad hoc Networks – Johan Nykvist, Johan Nykvist
5 Routing in Packet-Switched Networks Using Path-Finding Algorithms – Shree Murthy - 1996
36 Simulation Based Performance Evaluation of Mobile, Ad hoc Network Routing Protocols – Samir R. Das, Robert Castañeda, Jiangtao Yan - 2000
12 A comprehensive overview about selected ad hoc networking routing protocols – Daniel Lang - 2003
138 Comparative Performance Evaluation of Routing Protocols for Mobile, Ad hoc Networks – Samir R. Das, Robert Castañeda, Jiangtao Yan, Rimli Sengupta - 1998
PROTOCOLS FOR MOBILE AD HOC NETWORKING – Robert Castañeda - 2000
1 ANALYSIS AND DESIGN OF EFFICIENT WIRELESS NETWORKS – Hua Wang, Chairman Wayne, E. Stark, Hua Wang - 2004
45 A Survey of BGP Security Issues and Solutions – Kevin Butler, Toni Farley, Patrick Mcdaniel, Jennifer Rexford - 2004
2 Scalable Routing Strategies for Multi-Hop Ad-hoc Wireless Network – Atsushi Iwata, Ching-chuan Chiang, Guangyu Pei, Mario Gerla, Tsu-wei Chen - 1998
Implementation and Performance Evaluation of the Gateway Discovery Approaches in the Integrated MANET- Internet Scenario – Koushik Majumder, Dr. Sudhabindu Ray, Prof Subir, Kumar Sarkar
Hybrid Scenario Based . . . – Koushik Majumder, Subir Kumar Sarkar - 2010
30 Routing and Multicasting Strategies in Wireless Mobile Ad hoc Networks – Sung-Ju Lee - 2000
A Cross Layer Protocol for Service Access in Mobile . . . – Mesut Ali Ergin - 2003
3 Analysis of TCP performance on ad hoc networks using preemptive maintenance routing – Tom Goff, Nael B. Abu-ghazaleh, Dhananjay S. Phatak - 2001
959 A Review of Current Routing Protocols for Ad-Hoc Mobile Wireless Networks – Elizabeth M. Royer, Chai-Keong Toh
3 Ad hoc on-demand backup node setup routing protocol – Ying-hong Wang, Chih-chieh Chuang - 2001
An Impression of Routing Protocol in Manet – Sudhakar Sengan, S. Chenthur Pandian - 2011
Ant Colony based and Mobile Ad Hoc Networks Routing Protocols: a Review – Bhawna Talwar, Anuj K. Gupta