{"title":"Modeling and Verification of SCTP Association Management Based on Colored Petri Nets","authors":"Jizeng Wang, Shengcai Zhang, Fan Chen","doi":"10.1109/CCCM.2008.261","DOIUrl":null,"url":null,"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.","PeriodicalId":326534,"journal":{"name":"2008 ISECS International Colloquium on Computing, Communication, Control, and Management","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 ISECS International Colloquium on Computing, Communication, Control, and Management","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CCCM.2008.261","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
