1362 search results - page 203 / 273 » Model Checking Large Network Protocol Implementations |
151
click to vote
SIGMETRICS
2000
ACM
15 years 7 months ago
2000
ACM
— The conventional wisdom has been that IP is the natural protocol layer for implementing multicast related functionality. However, more than a decade after its initial proposal,...
151
click to vote
EUROIMSA
2006
15 years 4 months ago
2006
The delivery and adaptation of multimedia content in distributed and heterogeneous environments requires flexible control and management mechanisms in terminals and in control ent...
176
click to vote
FOCS
2003
IEEE
15 years 8 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
124
click to vote
DBSEC
2007
15 years 4 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...
157
click to vote
ICNP
2002
IEEE
15 years 8 months ago
2002
IEEE
The rapid advancement in wireless communication technology has spurred significant interest in the design and development of enhanced TCP protocols. Among them, TCP Westwood (TCPW...