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

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

Citing 8
Cited 0

An approach to protocol complementation for internetworking

ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Formalization of Protocol Engineering Concepts

IEEE Transactions on Computers - Special issue on protocol engineering
Synthesizing a Protocol Converter From Executable Protocol Traces

IEEE Transactions on Computers - Special issue on protocol engineering
Protocol conversion: an algorithmic approach

Protocol conversion: an algorithmic approach
Reachability analysis of protocols with FIFO channels

SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Formal Techniques for Protocol Specification and Verification

Computer
Design of simplified protocol converters through protocol complementation

Computer Communications
Protocol Verification via Projections

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.24

Visualization

Abstract

To ensure the correctness of any algorithm or procedure which generates a protocol converter, one may follow different approaches of protocol validation. This paper describes the protocol validation through deductive inference which is based on a list of statements of properties, axioms and rules for inferring the statements from the axioms. As an example, we have chosen the protocol converter generated by the protocol complementation approach (Das, S. PhD thesis, Indian Institute of Technology, 1996; Das and Dhar, Computer Communication, 1997).