IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modeling and Verification of SCTP Association Management Based on Colored Petri Nets

2008 ISECS International Colloquium on Computing, Communication, Control, and Management (CCCM)

Author(s): Jizeng Wang ; Shengcai Zhang ; Fan Chen
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2008
Conference Location: Guangzhou, China
Conference Date: 3 August 2008
Volume: 1
Page(s): 379 - 383
ISBN (Paper): 978-0-7695-3290-5
DOI: 10.1109/CCCM.2008.261
Regular:

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... View More

Advertisement