The Formal Analyse of DoS Attack to SIP Based on the SIP Extended Finite State Machines
Zhe Chen, Duan Rong · 2010
A finite state machine contains a finite number of states and produces outputs on state transitions after receiving inputs. Finite state machines are widely used to model systems in diverse areas, including sequential circuits, certain types of programs, and, more recently, communication protocols. The denial of service (DoS) attacks are the hackneyed and evil cyberattacks in the IP which can be easily implemented in the SIP VoIP. In this paper, a basic SIP EFSM is established to analyze the two types of DoS attacks formally.