Abstract—The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, On the basis of the process of Session Initiation Protocol's service, Petri net model of SIP was established. In this paper, we use Petri Nets (PNs) to model and analyze SIP, in terms of properties of Petri net and the analysis of reachability tree, the protocol was proved to be security.
Index Terms—Session initiation protocol, petri nets, protocol verification, reachability tree
Benju Xie is with the Qingdao University of Science and Technology (e-mail: firstname.lastname@example.org)
Cite: Benju Xie, "Verification of Session Initiation Protocol Using Petri Nets," International Journal of Engineering and Technology vol. 4, no. 4, pp. 416-417, 2012.