2162 search results - page 400 / 433 » A Meta-Notation for Protocol Analysis |
ISCC
2006
IEEE
14 years 3 months ago
2006
IEEE
Often in Internet Protocol (IP) networks, links are assigned weights, and traffic demands are routed along shortest paths. Hence, these link weights are the parameters which dete...
ACNS
2006
Springer
14 years 3 months ago
2006
Springer
Dependable digital signing service requires both high fault-tolerance and high intrusion-tolerance. While providing high fault-tolerance, existing approaches do not satisfy the hig...
EXPDB
2006
ACM
14 years 3 months ago
2006
ACM
With the growing popularity of information retrieval (IR) in distributed systems and in particular P2P Web search, a huge number of protocols and prototypes have been introduced i...
HT
2006
ACM
14 years 3 months ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...
IWCMC
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we study the fabricated report with false votes attack and the false votes on real reports attack in wireless sensor networks. Since most of the existing works addr...