Model-checking DoS amplification for VoIP session initiation

Computer Science

• Model Checking 100%
• Session Initiation Protocol 100%
• Voice over Internet Protocol (VoIP) 100%
• Amplification Attack 100%
• Quantitative Assessment 33%
• Attackers 33%
• Checking Technique 33%
• formal modeling 33%
• Denial-of-Service Attack 33%
• Distributed System 33%

Keyphrases

• Amplification Attack 100%
• Voice over Internet Protocol (VoIP) 100%
• Session Initiation Protocol 100%
• Modeling Analysis 33%
• Attacker 33%
• DDoS Attack 33%
• Protocol Amendments 33%
• Model Checking Techniques 33%
• Complex Distributed Systems 33%
• Formal Modeling 33%
• Known Attacks 33%
• Term Rewriting 33%