By Topic

Modular design principles for protocols with an application to the transport layer

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
$33 $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

1 Author(s)
A. U. Shankar ; Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA

A method for specifying services, specifying protocols, and constructing protocol specifications by stepwise refinement of service specifications is presented. The method is based on assertional reasoning and a refinement relation between state transition systems. The method is demonstrated on the transport layer, which is used by application protocols such as electronic mail, file transfer, remote login, etc. A succession of specifications is constructed, starting from a very abstract transport service and culminating in specific transport protocols comparable to TCP and ISO TP4. Each specification offers both connection management and connection-specific data transfer. It is shown how any connection-independent data transfer protocol can be transformed to offer connection-specific data transfer service

Published in:

Proceedings of the IEEE  (Volume:79 ,  Issue: 12 )