472 search results - page 45 / 95 » The Case for Informed Transport Protocols |
EMSOFT
2006
Springer
14 years 19 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
STOC
1996
ACM
14 years 1 months ago
1996
ACM
A fundamental problem in designing secure multi-party protocols is how to deal with adaptive adversaries i.e., adversaries that may choose the corrupted parties during the course ...
DSOM
2003
Springer
14 years 2 months ago
2003
Springer
The use of multimedia service applications is growing rapidly on the Internet. These applications are generating a huge volume of network traffic, which has a great impact on netw...
IJISEC
2011
13 years 12 days ago
2011
Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five central principles to guid...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— The recent trend of rapid increase in routing table sizes at routers comprising the Internet’s core is posing a serious challenge to the current Internet’s scalability, ava...