Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol

Keyphrases

• Probabilistic Model 100%
• Probabilistic Analysis 100%
• Verification Protocol 100%
• Bandwidth Utilization 66%
• Simulation-based 33%
• Further Development 33%
• Non-adaptive 33%
• Network Bandwidth 33%
• Maude 33%
• Statistical Comparison 33%
• Attacker 33%
• Formal Analysis 33%
• Channel Model 33%
• Manual Analysis 33%
• Shared Channel 33%
• Quantitative Model Checking 33%
• Attacker Model 33%
• Rewrite Theory 33%

Computer Science

• Probabilistic Modeling 100%
• Protocol Verification 100%
• Analysis Technique 33%
• Communication Bandwidth 33%
• Attackers 33%
• Model Checking 33%
• Attacker Model 33%