1362 search results - page 141 / 273 » Model Checking Large Network Protocol Implementations |
125
Voted
WSC
1997
15 years 4 months ago
1997
We describe our experiences designing and implementing a virtual PNNI network testbed. The network elements and signaling protocols modeled are consistent with the ATM Forum PNNI ...
141
Voted
MSWIM
2004
ACM
15 years 8 months ago
2004
ACM
In mobile ad hoc networks, node mobility causes links between nodes to break frequently, thus terminating the lifetime of the routes containing those links. An alternative route h...
144
click to vote
SIGCOMM
2004
ACM
15 years 8 months ago
2004
ACM
Hot-potato routing is a mechanism employed when there are multiple (equally good) interdomain routes available for a given destination. In this scenario, the Border Gateway Protoc...
199
Voted
CCR
2004
15 years 3 months ago
2004
In this paper, we propose a new approach to preventing and constraining denial-of-service (DoS) attacks. Instead of being able to send anything to anyone at any time, in our archi...
114
click to vote
TRIDENTCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...