Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Link opens in a new tab
Search content at Illinois Experts
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol
Musab AlTurki
,
José Meseguer
,
Carl A. Gunter
Information Trust Institute
Coordinated Science Lab
Siebel School of Computing and Data Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
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%