382 search results - page 35 / 77 » Rule-based static analysis of network protocol implementatio... |
111
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— IETF has proposed Mobile IPv6-based Network Mobility (NEMO) basic support protocol (BSP) to support network mobility. NEMO BSP inherits all the drawbacks of Mobile IPv6...
152
click to vote
FORTE
2011
14 years 5 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
NETWORKING
2007
15 years 3 months ago
2007
Abstract. Thanks to the immense potential cooperative communications displays, extensive investigations have been directed to examine its performance by means of both analysis and ...
136
click to vote
CANS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Ever-growing mobility and ubiquitous wireless Internet access raise the need for secure communication with devices that may be severely constrained in terms of processing...
128
click to vote
ISLPED
2003
ACM
15 years 7 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...