Stable availability under denial of service attacks through formal patterns

Keyphrases

• Denial-of-service Attack 100%
• Formal Pattern 100%
• Defense Mechanisms 50%
• Reasonable Cost 50%
• Replicator 50%
• Approaches to Study 25%
• Pattern-based Approach 25%
• High Probability 25%
• Quality of Service 25%
• Additional Resources 25%
• Maude 25%
• Communication Protocol 25%
• Distributed Denial of Service (DDoS) 25%
• Online Services 25%
• Rewriting Logic 25%
• Demand-side Resources 25%
• Logic Language 25%
• Security Properties 25%
• Executable Specification 25%
• Service Level Agreement 25%
• Statistical Model Checking 25%
• Pattern Specification 25%

Computer Science

• Denial-of-Service Attack 100%
• Distributed Denial of Service Attack 25%
• Communication Protocol 25%
• Rewriting Logic 25%
• Logic Language 25%
• Security Properties 25%
• Service-Level Agreement 25%
• Statistical Model 25%