Design of simplified protocol converters through protocol complementation

Authors:
Subir Das;P. Dhar
Affiliations:
Department of Electronics and Electrical Communication Engineering, Indian Institute of Technology, Kharagpur 721 302, India;Department of Electronics and Electrical Communication Engineering, Indian Institute of Technology, Kharagpur 721 302, India
Venue:
Computer Communications
Year:
1997

Citing 15
Cited 1

A formal protocol conversion method

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Deriving a protocol converter: a top-down method

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A systematic approach for constructing gateways

Computer Networks and ISDN Systems
An approach to protocol complementation for internetworking

ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Synthesizing a Protocol Converter From Executable Protocol Traces

IEEE Transactions on Computers - Special issue on protocol engineering
An approach to indirect protocol conversion

Computer Networks and ISDN Systems - Managing complexity: protocols and reliability
Protocol conversion for computer networks

Protocol conversion for computer networks
A polynomial algorithm for gateway generation from formal specifications

IEEE/ACM Transactions on Networking (TON)
On Communicating Finite-State Machines

Journal of the ACM (JACM)
On the Construction of Submodule Specifications and Communication Protocols

ACM Transactions on Programming Languages and Systems (TOPLAS)
Network Interconnection and Protocol Conversion

Network Interconnection and Protocol Conversion
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Protocol Conversion

IEEE Transactions on Software Engineering
Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment

Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Review: Construction of protocol converters using formal methods

Computer Communications

Case study: Protocol converter validation through deductive inference: a case study

Computer Communications

Quantified Score

Hi-index	0.24

Visualization

Abstract

This paper presents an approach, called the complementation approach, to synthesize protocol converters from its service specification. We describe the design procedure systematically and discuss the end results with other existing conversion procedures. An example is used to illustrate the method. The converter is also implemented and verified using a semiautomatic Estelle-C compiler.