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
Model-checking DoS amplification for VoIP session initiation
Ravinder Shankesi
, Musab Alturki
, Ralf Sasse
,
Carl A. Gunter
,
José Meseguer
Information Trust Institute
Coordinated Science Lab
Siebel School of Computing and Data Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Model-checking DoS amplification for VoIP session initiation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
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%