382 search results - page 25 / 77 » Rule-based static analysis of network protocol implementatio... |
173
Voted
ICC
2007
IEEE
16 years 21 days 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...
189
Voted
ICS
2007
Tsinghua U.
16 years 16 days 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...
174
Voted
TGC
2007
Springer
16 years 14 days 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...
205
Voted
MOBIHOC
2002
ACM
16 years 6 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...
141
Voted
ICCCN
2007
IEEE
16 years 21 days 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...