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

doi:10.1109/CCCM.2008.261

CORC > 兰州理工大学 > 兰州理工大学

	Modeling and verification of SCTP association management based on colored Petri Nets
	Wang, Jizeng; Zhang, Shengcai; Chen, Fan
	2008
会议日期	August 3, 2008 - August 4, 2008
会议地点	Guangzhou, China
关键词	Petri nets Colored Petri Nets Coloured Petri Nets Formal model Internal consistency Modeling and verifications Reliable transport protocol Request for comments Stream control
卷号	1
DOI	10.1109/CCCM.2008.261
页码	379-383
英文摘要	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.
会议录	Proceedings - ISECS International Colloquium on Computing, Communication, Control, and Management, CCCM 2008
会议录出版者	IEEE Computer Society
语种	英语
内容类型	会议论文
源URL	[http://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]. 见:. Guangzhou, China. August 3, 2008 - August 4, 2008.