382 search results - page 25 / 77 » Rule-based static analysis of network protocol implementatio... |
118
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Internet Protocol Security (IPSec) is a widely deployed mechanism for implementing Virtual Private Networks (VPNs). In previous work, we examined the overheads incurred...
115
Voted
ICS
2007
Tsinghua U.
15 years 7 months ago
2007
Tsinghua U.
Building commodity networked storage systems is an important architectural trend; Commodity servers hosting a moderate number of consumer-grade disks and interconnected with a hig...
113
Voted
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
143
click to vote
MOBIHOC
2002
ACM
16 years 1 months ago
2002
ACM
Network wide broadcasting in Mobile Ad Hoc Networks provides important control and route establishment functionality for a number of unicast and multicast protocols. Considering i...
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
—Signaling protocols for GMPLS networks have been standardized and implemented in switch controllers. Most switch vendors allow for signaling messages to be carried over inband s...