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
DOI	10.1109/CCCM.2008.261
页码	379-383
英文摘要	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.
会议录	2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS
会议录出版者	IEEE COMPUTER SOC
会议录出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
语种	英语
WOS研究方向	Automation & Control Systems ; Business & Economics ; Computer Science ; Engineering
WOS记录号	WOS:000260246600080
内容类型	会议论文
源URL	[http://119.78.100.223/handle/2XXMBERH/37900]
专题	兰州理工大学计算机与通信学院
作者单位	Lanzhou Univ Technol, Coll Comp & Commun, Lanzhou 730050, Gansu, Peoples R China
推荐引用方式 GB/T 7714	Wang, Jizeng,Zhang, Shengcai,Chen, Fan. Modeling and Verification of SCTP Association Management Based on Colored Petri Nets[C]. 见:.