Name
Abstract | ||
|---|---|---|
Availability is an important security property for Internet services and a key ingredient of most service level agreements. It can be compromised by distributed Denial of Service (DoS) attacks. In this work we propose a formal pattern-based approach to study defense mechanisms against DoS attacks. We enhance pattern descriptions with formal models that allow the designer to give guarantees on the behavior of the proposed solution. The underlying executable specification formalism we use is the rewriting logic language Maude and its real-time and probabilistic extensions. We introduce the notion of stable availability, which means that with very high probability service quality remains very close to a threshold, regardless of how bad the DoS attack can get. Then we present two formal patterns which can serve as defenses against DoS attacks: the Adaptive Selective Verification (ASV) pattern, which enhances a communication protocol with a defense mechanism, and the Server Replicator (SR) pattern, which provisions additional resources on demand. However, ASV achieves availability without stability, and SR cannot achieve stable availability at a reasonable cost. As a main result we show, by statistical model checking with the PVeStA tool, that the composition of both patterns yields a new improved pattern which guarantees stable availability at a reasonable cost. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-28872-2_6 | FASE |
Keywords | Field | DocType |
pattern description,stable availability,dos attack,defense mechanism,service attack,formal pattern-based approach,new improved pattern,reasonable cost,internet service,formal pattern,formal model,cloud computing,rewriting logic,availability,denial of service | Service level,Denial-of-service attack,Service quality,Computer security,Computer science,Probabilistic logic,Distributed computing,Communications protocol,Cloud computing,Executable,The Internet | Conference |
Volume | ISSN | Citations |
7212 | 0302-9743 | 26 |
PageRank | References | Authors |
0.97 | 20 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jonas Eckhardt | 1 | 96 | 9.24 |
| Tobias Mühlbauer | 2 | 217 | 12.21 |
| Musab AlTurki | 3 | 104 | 9.80 |
| José Meseguer | 4 | 9533 | 805.39 |
| Martin Wirsing | 5 | 2158 | 267.89 |