• Jun 20, 2018 News! [CFP] 2018 the annual meeting of IJET Editorial Board, ICEDA 2018, will be held in Nha Trang, Vietnam during October 20-22, 2018.   [Click]
  • May 18, 2018 News!Vol.10, No. 5 has been published with online version.   [Click]
  • Dec 22, 2017 News! Vol.8, No.5 has been indexed by EI(Inspec)!   [Click]
General Information
Editor-in-chief
Prof. T. Hikmet Karakoc
Anadolu University, Faculty of Aeronautics and Astronautics, Turkey

IJET 2012 Vol.4(4): 416-417 ISSN: 1793-8236
DOI: 10.7763/IJET.2012.V4.398

Verification of Session Initiation Protocol Using Petri Nets

Benju Xie

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: qd_xbj@yeah.net)

[PDF]

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.

Copyright © 2008-2017. International Journal of Engineering and Technology. All rights reserved. 
E-mail: ijet@vip.163.com