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

Volume

1

fYear

2008

fDate

3-4 Aug. 2008

Firstpage

379

Lastpage

383

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.;

fLanguage

English

Publisher

ieee

Conference_Titel

Computing, Communication, Control, and Management, 2008. CCCM '08. ISECS International Colloquium on

Conference_Location

Guangzhou

Print_ISBN

978-0-7695-3290-5

Type

conf

DOI

10.1109/CCCM.2008.261

Filename

4609536