Formal Methods for Protocol Conversion

Kenneth L. Calvert, Simon S. Lam

Research output: Contribution to journalArticlepeer-review

60 Scopus citations

Abstract

We consider ways of overcoming a protocol mismatch using protocol conversion. Three different methods for finding a protocol converter are described. Two of these are “bottom up” in nature, and involve relating the conversion system to existing protocols. The third approach, which is new, is “top down”: the desired global properties of the conversion system are used in deriving the converter. An example is used to illustrate each method. We discuss more general forms of the abstract problem in the context of layered network architectures.

Original languageEnglish
Pages (from-to)127-142
Number of pages16
JournalIEEE Journal on Selected Areas in Communications
Volume8
Issue number1
DOIs
StatePublished - Jan 1990

Bibliographical note

Funding Information:
Manuscript received October 2, 1988; revised August 19, 1989. This work was supported by the National Science Foundation under Grant NCR-8613338. The authors are with the Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712. IEEE Log Number 8931243. ‘Indeed, some might say that adequate standards do not yet exist.

Funding

Manuscript received October 2, 1988; revised August 19, 1989. This work was supported by the National Science Foundation under Grant NCR-8613338. The authors are with the Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712. IEEE Log Number 8931243. ‘Indeed, some might say that adequate standards do not yet exist.

FundersFunder number
National Science Foundation (NSF)NCR-8613338

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Electrical and Electronic Engineering

    Fingerprint

    Dive into the research topics of 'Formal Methods for Protocol Conversion'. Together they form a unique fingerprint.

    Cite this