Title :
The Formal Analyse of DoS Attack to SIP Based on the SIP Extended Finite State Machines
Author :
Zhe Chen ; Rong Duan
Author_Institution :
Beijing Univ. of Posts & Telecommun., Beijing, China
Abstract :
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.
Keywords :
IP networks; Internet telephony; computer network security; finite state machines; sequential circuits; transport protocols; DoS attack; EFSM; SIP; VoIP; communication protocol; cyberattack; denial of service; finite state machine; hackneyed; sequential circuit; state transition graph; Automata; Computer crime; Floods; IP networks; Media; Protocols; Servers;
Conference_Titel :
Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5391-7
Electronic_ISBN :
978-1-4244-5392-4
DOI :
10.1109/CISE.2010.5676902
