Validating DCCP Simultaneous Feature Negotiation Procedure

This paper investigates the feature negotiation procedure of the Datagram Congestion Control Protocol (DCCP) in RFC 4340 using Coloured Petri Nets (CPNs). After obtaining a formal executable CPN model of DCCP feature negotiation, we analyse it using state space analysis. The experimental result reveals that simultaneous negotiation could be broken on even a simple lossless FIFO channel. In the undesired terminal states, the confirmed feature values of Client and Server do not match.

• Type: Journal
• Year: 2015
• Where: APN
• Authors: Somsak Vanit-Anunchai
• Keywords: APN 2015, Artificial Intelligence