VoIP session initiation
Model-checking DoS amplification for VoIP session initiation
FREE-DOWNLOAD [PDF] R Shankesi, M AlTurki, R Sasse, C Gunter… – Computer Security– …, 2009
Abstract. Current techniques for the formal modeling analysis of DoS attacks do not adequately
deal with amplification attacks that may tar- get a complex distributed system as a whole rather
than a specific server. Such threats have emerged for important applications such as the .