Model-Checking DoS Amplification for VoIP Session Initiation.

Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, Jos Meseguer

Browse the full ESORICS paper archive.