Title :
Modeling and Verification of SCTP Association Management Based on Colored Petri Nets
Author :
Wang, Jizeng ; Zhang, Shengcai ; Chen, Fan
Author_Institution :
Coll. of Comput. & Commun., Lanzhou Univ. of Technol., Lanzhou
Abstract :
The stream control transmission protocol (SCTP) is a reliable transport protocol to tackle the limitations of TCP and UDP. SCTP is specified informally in request for comments (RFC) 2960, but it still lacks a formal specification. Coloured Petri net (CPN) is suitable to modeling a system from the dynamic perspective, and has the ability to analyze it in a formal way. We present a formal model of SCTP association management using the CPN. The model is used to examine some properties of SCTP and to check the internal consistency of RFC 2960. Through CPN Tools analysis, we find a problem with some informal descriptions in RFC 2960 and solve it by modifying our original CPN model.
Keywords :
Petri nets; transport protocols; RFC 2960; SCTP; TCP; UDP; association management; colored Petri nets; request for comments 2960; stream control transmission protocol; Communication system control; Data engineering; Educational institutions; Embedded system; Formal specifications; Operating systems; Petri nets; Systems engineering and theory; Technology management; Transport protocols; Coloured Petri Nets; SCTP Association Management; State Space.;
Conference_Titel :
Computing, Communication, Control, and Management, 2008. CCCM '08. ISECS International Colloquium on
Conference_Location :
Guangzhou
Print_ISBN :
978-0-7695-3290-5
DOI :
10.1109/CCCM.2008.261
