doi: 10.7763/IJET.2012.V4.398
Verification of Session Initiation Protocol Using Petri Nets
Benju Xie
- the Qingdao University of Science and Technology
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.
Keywords
- Session initiation protocol
- petri nets
- protocol verification
- reachability tree
How to 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. https://doi.org/ 10.7763/IJET.2012.V4.398
Copyright & License
Copyright © 2012 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).