Research on algorithms for achieving self-stabilization of communication protocols

With the fast development of next generation Internet (NGI) or next generation networks (NGN), the issue related to communication protocol design has become a challenging topic. On the basis of describing the related concepts and a formal description method, this paper mainly presents two algorithms for achieving self-stabilization of the protocols. One algorithm, called the global state algorithm (GSA), can be used to obtain the global states of under case of a loss of cooperation of the different processes in the communication protocol, which can be applied to a recovery point that can be used by following recovery procedure for self-stabilizing a communication protocol. Second algorithm, called recovery stabilization algorithm (RSA), uses the contextual information exchanged during progress process of the protocol. After a failure is detected, all processes can eventually know the error by RSA. This paper gives also correctness proof and complexity analysis of these algorithms, and verifies the efficiency of the algorithms by illustrating the example protocols.