Showing papers on "Universal composability published in 1979"
27 Nov 1979
TL;DR: This paper proposes to extend protocol multiplexing to allow sharing of messages, and packets, among several simultaneous communicating processes, which will increase the communication efficiency by reducing the total number of messages transmitted through the media.
Abstract: The notion of protocol multiplexing usually means the ability of a protocol to accommodate several instances of higher level protocols at the same timeIn this paper we propose to extend this notion to allow sharing of messages, and packets, among several simultaneous communicating processes, which will increase the communication efficiency by reducing the total number of messages transmitted through the mediaThis paper discusses several aspects of multiplexing and the interaction of multiplexing with other protocol issues
16 citations
1 Jan 1979
TL;DR: It is vital to specify the services provided by a protocol layer in addition to specifying the cooperating protocol entities which make up the layer, in order to facilitate design of correct protocols.
Abstract: : Increasingly numerous and complex communication protocols are being employed in distributed systems and computer networks of all types This Note describes some of the more formal techniques that are being developed to facilitate design of correct protocols Our major conclusion is that it is vital to specify the services provided by a protocol layer in addition to specifying the cooperating protocol entities which make up the layer We develop service specifications of several representative protocols by using formal techniques from software engineering such as abstract machines and buffer histories A survey of protocol verification methods and a bibliography indexed by key phrases are also provided
16 citations