Loading...
Please wait, while we are loading the content...
Similar Documents
Verification of Session Initiation Protocol Using Petri Nets
| Content Provider | Semantic Scholar |
|---|---|
| Author | Xie, B. |
| Abstract | 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://ijetch.org/papers/398-E1003.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Ephrin Type-B Receptor 1, human Petri Nets Petri net Reachability TSACC gene Verification of Theories |
| Content Type | Text |
| Resource Type | Article |