By Topic

Using protocol validation techniques to solve protocol conversion problems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Chang, J. ; Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA ; Liu, M.T.

Protocol conversion and protocol validation have some common problems to solve. A protocol converter is designed to realize a mapping at a given layer between two different communication protocols. Protocol validation is validation of the syntax properties of a converter. In this work the protocol conversion problem is transformed into the protocol validation problem so that existing techniques can be used to solve the protocol conversion problem. The functions of a converter are expressed explicitly through the interaction of several processes whose representations are easily constructed from the given CFSMs. An algorithm that routinely produces a converter and is free from syntax errors is presented. The validation technique used in the approach makes the algorithm very efficient for solving complicated protocol conversion problems

Published in:

Computers and Communications, 1990. Conference Proceedings., Ninth Annual International Phoenix Conference on

Date of Conference:

21-23 Mar 1990