• Mar 01, 2017 News! Vol.8, No.2 has been indexed by EI(Inspec)!   [Click]
  • Mar 01, 2017 News! Vol.8, No.1 has been indexed by EI(Inspec)!   [Click]
  • Mar 01, 2017 News! Vol.7, No.6 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-2015. International Journal of Engineering and Technology. All rights reserved. 
E-mail: ijet@vip.163.com