Formal Methods for Protocol Conversion

Kenneth L. Calvert; Simon S. Lam

doi:10.1109/49.46852

Formal Methods for Protocol Conversion

Kenneth L. Calvert
, Simon S. Lam

Producción científica: Article › revisión exhaustiva

60 Citas (Scopus)

Resumen

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.

Idioma original	English
Páginas (desde-hasta)	127-142
Número de páginas	16
Publicación	IEEE Journal on Selected Areas in Communications
Volumen	8
N.º	1
DOI	https://doi.org/10.1109/49.46852
Estado	Published - ene 1990

Nota bibliográfica

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.

Financiación

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.

Financiadores	Número del financiador
National Science Foundation (NSF)	NCR-8613338

ASJC Scopus subject areas

Computer Networks and Communications
Electrical and Electronic Engineering

Acceder al documento

10.1109/49.46852

Otros archivos y enlaces

Citar esto

@article{134e60efeae24fef820ea34bd1e59b1a,

title = "Formal Methods for Protocol Conversion",

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.",

author = "Calvert, \{Kenneth L.\} and Lam, \{Simon S.\}",

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. {\textquoteleft}Indeed, some might say that adequate standards do not yet exist.",

year = "1990",

month = jan,

doi = "10.1109/49.46852",

language = "English",

volume = "8",

pages = "127--142",

number = "1",

}

TY - JOUR

T1 - Formal Methods for Protocol Conversion

AU - Calvert, Kenneth L.

AU - Lam, Simon S.

N1 - 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.

PY - 1990/1

Y1 - 1990/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0025213696

UR - https://www.scopus.com/pages/publications/0025213696#tab=citedBy

U2 - 10.1109/49.46852

DO - 10.1109/49.46852

M3 - Article

AN - SCOPUS:0025213696

SN - 0733-8716

VL - 8

SP - 127

EP - 142

JO - IEEE Journal on Selected Areas in Communications

JF - IEEE Journal on Selected Areas in Communications

IS - 1

ER -

Formal Methods for Protocol Conversion

Resumen

Nota bibliográfica

Financiación

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto