1116 search results - page 197 / 224 » Key Agreement Using Statically Keyed Authenticators |
109
Voted
WORM
2003
15 years 1 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Tree-based protocols are ubiquitous in distributed systems. They are flexible, they perform generally well, and, in static conditions, their analysis is mostly simple. Under churn...
111
Voted
ENTCS
2007
15 years 13 days ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
84
Voted
JPDC
2007
15 years 10 days ago
2007
Virtual circuits can reduce routing overheads with irregular topologies and provide support for a mix of quality of service (QOS) requirements. Information about network loads and...