Model-Checking DoS Amplification for VoIP Session Initiation

Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer. Model-Checking DoS Amplification for VoIP Session Initiation. In Michael Backes, Peng Ning, editors, Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings. Volume 5789 of Lecture Notes in Computer Science, pages 390-405, Springer, 2009. [doi]

Authors

Ravinder Shankesi

This author has not been identified. Look up 'Ravinder Shankesi' in Google

Musab AlTurki

This author has not been identified. Look up 'Musab AlTurki' in Google

Ralf Sasse

This author has not been identified. Look up 'Ralf Sasse' in Google

Carl A. Gunter

This author has not been identified. Look up 'Carl A. Gunter' in Google

José Meseguer

This author has not been identified. Look up 'José Meseguer' in Google