1362 search results - page 131 / 273 » Model Checking Large Network Protocol Implementations |
173
click to vote
ICNP
2005
IEEE
16 years 20 hour ago
2005
IEEE
In wireless networks, it is well understood what throughput can be achieved by nodes who can hear each other (i.e. nodes within a single cell)[1, 3]. The effects of nodes beyond t...
176
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a Secure INtrusion-Tolerant Replication Architecture1 (SINTRA) for coordination in asynchronous networks subject to Byzantine faults. SINTRA supplies a number...
140
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
Video prefetching has been proposed recently for the transmission of variable-bit-rate(VBR) video over a packetswitched network. The objective of these protocols is to prefetch fu...
170
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
188
click to vote
FORTE
2010
15 years 7 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...