Modeling and verification of SCTP association management based on colored Petri Nets

doi:10.1109/CCCM.2008.261

	Modeling and verification of SCTP association management based on colored Petri Nets
	Wang, Jizeng; Zhang, Shengcai; Chen, Fan
	2008
会议名称	ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
会议录名称	Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
卷号	1
页码	379-383
会议日期	August 3, 2008 - August 4, 2008
会议地点	Guangzhou, China
出版者	IEEE Computer Society
摘要	The Stream Control Transmission Protoco 1(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. © 2008 IEEE.
关键词	Petri nets Colored Petri Nets Coloured Petri Nets Formal model Internal consistency Modeling and verifications Reliable transport protocol Request for comments Stream control
DOI	10.1109/CCCM.2008.261
收录类别	EI
语种	英语
EI入藏号	20084311659210
EI主题词	Internet protocols
来源库	Compendex
分类代码	723 Computer Software, Data Handling and Applications - 921.4 Combinatorial Mathematics, Includes Graph Theory, Set Theory
引用统计	被引频次：2[WOS] [WOS记录] [WOS相关记录]
文献类型	会议论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/116893
专题	兰州理工大学
作者单位	College of Computer and Communication, Lanzhou University of Technology, Lanzhou, Gansu, 730050, China
第一作者单位	兰州理工大学
推荐引用方式 GB/T 7714	Wang, Jizeng,Zhang, Shengcai,Chen, Fan. Modeling and verification of SCTP association management based on colored Petri Nets[C]:IEEE Computer Society,2008:379-383.