Reverse Engineering in Communication Protocol Design

Kenji OTOMO; Noriyasu ARAKAWA; Yutaka HIRAKAWA

Reverse Engineering in Communication Protocol Design

Kenji OTOMO, Noriyasu ARAKAWA, Yutaka HIRAKAWA

Full Text Views

0

Share
Cite this

Summary :

This paper discusses how to derive message sequence charts (MSCs) from a set of state transition descriptions. Recently, MSC notation has received much attention in the communications software field because it graphically shows system global behavior, So MSC handling techniques are being widely studied. These studies have recommended the design a system by a set of formal MSCs in the early stages of development and then to convert them into state transition descriptions. However, it is difficult to apply those results to existing communications software products. This is because these systems are designed based on state transition descriptions and there are no formal MSCs for them. In this paper, we propose a method of deriving MSCs based on optimized reachability analysis. This method generates MCSs that avoid state explosion. A case study using Q.931 protocol shows the feasibility of this method.

Publication: IEICE TRANSACTIONS on Communications Vol.E79-B No.6 pp.842-848

Publication Date: 1996/06/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Communication Software

Cite this

Copy

Kenji OTOMO, Noriyasu ARAKAWA, Yutaka HIRAKAWA, "Reverse Engineering in Communication Protocol Design" in IEICE TRANSACTIONS on Communications, vol. E79-B, no. 6, pp. 842-848, June 1996, doi: .
Abstract: This paper discusses how to derive message sequence charts (MSCs) from a set of state transition descriptions. Recently, MSC notation has received much attention in the communications software field because it graphically shows system global behavior, So MSC handling techniques are being widely studied. These studies have recommended the design a system by a set of formal MSCs in the early stages of development and then to convert them into state transition descriptions. However, it is difficult to apply those results to existing communications software products. This is because these systems are designed based on state transition descriptions and there are no formal MSCs for them. In this paper, we propose a method of deriving MSCs based on optimized reachability analysis. This method generates MCSs that avoid state explosion. A case study using Q.931 protocol shows the feasibility of this method.
URL: https://globals.ieice.org/en_transactions/communications/10.1587/e79-b_6_842/_p

Copy

@ARTICLE{e79-b_6_842,
author={Kenji OTOMO, Noriyasu ARAKAWA, Yutaka HIRAKAWA, },
journal={IEICE TRANSACTIONS on Communications},
title={Reverse Engineering in Communication Protocol Design},
year={1996},
volume={E79-B},
number={6},
pages={842-848},
abstract={This paper discusses how to derive message sequence charts (MSCs) from a set of state transition descriptions. Recently, MSC notation has received much attention in the communications software field because it graphically shows system global behavior, So MSC handling techniques are being widely studied. These studies have recommended the design a system by a set of formal MSCs in the early stages of development and then to convert them into state transition descriptions. However, it is difficult to apply those results to existing communications software products. This is because these systems are designed based on state transition descriptions and there are no formal MSCs for them. In this paper, we propose a method of deriving MSCs based on optimized reachability analysis. This method generates MCSs that avoid state explosion. A case study using Q.931 protocol shows the feasibility of this method.},
keywords={},
doi={},
ISSN={},
month={June},}

Copy

TY - JOUR
TI - Reverse Engineering in Communication Protocol Design
T2 - IEICE TRANSACTIONS on Communications
SP - 842
EP - 848
AU - Kenji OTOMO
AU - Noriyasu ARAKAWA
AU - Yutaka HIRAKAWA
PY - 1996
DO -
JO - IEICE TRANSACTIONS on Communications
SN -
VL - E79-B
IS - 6
JA - IEICE TRANSACTIONS on Communications
Y1 - June 1996
AB - This paper discusses how to derive message sequence charts (MSCs) from a set of state transition descriptions. Recently, MSC notation has received much attention in the communications software field because it graphically shows system global behavior, So MSC handling techniques are being widely studied. These studies have recommended the design a system by a set of formal MSCs in the early stages of development and then to convert them into state transition descriptions. However, it is difficult to apply those results to existing communications software products. This is because these systems are designed based on state transition descriptions and there are no formal MSCs for them. In this paper, we propose a method of deriving MSCs based on optimized reachability analysis. This method generates MCSs that avoid state explosion. A case study using Q.931 protocol shows the feasibility of this method.
ER -