44 search results - page 2 / 9 » Using equivalence-checking to verify robustness to denial of... |
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
— A novel client puzzle protocol, the Memoryless Puzzle Protocol (MPP), is proposed and investigated. The goal is to show that MPP is a viable solution for mitigating distributed...
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
Denial of Service (DoS) attacks frequently happen on the Internet, paralyzing Internet services and causing millions of dollars of financial loss. This work presents NetFence, a s...
CIIT
2004
13 years 6 months ago
2004
This paper investigates the effectiveness of rate-limiting in mitigating TCP-based flooding Denial of Service (DoS) attacks. Rate-limiting is used as a DoS defense mechanism to di...
ICDCSW
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper we describe the model used for the NewsWire collaborative content delivery system. The system builds on the robustness and scalability of Astrolabe to weave a peer-t...
GPCE
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...