Connection management in transport protocols

Sunshine, Carl A.; Datal, Yogen K.

doi:10.1016/0376-5075(78)90053-3

Cited by 55 publications

(39 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…When several computers are linked in a network, they must exchange signals to start interaction [41]. This is typically done in a '3-way handshake': Computer A sends a signal showing that it is ready for interaction, computer B sends back a signal saying that it received the first and that it is ready as well, and finally A acknowledges receipt of the second message.…”

Section: Discussionmentioning

confidence: 99%

Model of the synthesis of trisporic acid in Mucorales showing bistability

et al. 2012

View full text Add to dashboard Cite

An important substance in the signalling between individuals of Mucor-like fungi is trisporic acid (TA). This compound, together with some of its precursors, serves as a pheromone in mating between (+)- and (-)-mating types. Moreover, intermediates of the TA pathway are exchanged between the two mating partners. Based on differential equations, mathematical models of the synthesis pathways of TA in the two mating types of an idealised Mucor-fungus are here presented. These models include the positive feedback of TA on its own synthesis. The authors compare three sub-models in view of bistability, robustness and the reversibility of transitions. The proposed modelling study showed that, in a system where intermediates are exchanged, a reversible transition between the two stable steady states occurs, whereas an exchange of the end product leads to an irreversible transition. The reversible transition is physiologically favoured, because the high-production state of TA must come to an end eventually. Moreover, the exchange of intermediates and TA is compared with the 3-way handshake widely used by computers linked in a network.

show abstract

Section: Discussionmentioning

confidence: 99%

Model of the synthesis of trisporic acid in Mucorales showing bistability

et al. 2012

View full text Add to dashboard Cite

show abstract

“…Over the years, DARPA has supported specifications of several versions of this protocol, the last one appeared in [POSJ81]. Some issues in the connection management of this protocol are discussed in [SUNC78].…”

Section: Transmission Control Protocolmentioning

confidence: 99%

Some problems with the specification of the Military Standard Transmission Control Protocol

Sidhu¹,

Blumer²

1985

View full text Add to dashboard Cite

This note points out three errors with the specification of the Military Standard Transmission Control Protocol (MIL-STD-1778, dated August 1983). These results are based on an initial investigation of this protocol standard. The first problem is that data accompanying a SYN can not be accepted because of errors in the acceptance policy. The second problem is that no retransmission timer is set for a SYN packet, and therefore the SYN will not be retransmitted if it is lost. The third problem is that when the connection has been established, neither entity takes the proper steps to accept incoming data. This note also proposes solutions to these problems.

show abstract

“…Such a SW protocol is a part of the TCP protocol, which operates over transport channels with a given maximum packet lifetime. The theoretical basis of that protocol is presented in [SD78]. TCP uses 2 32 sequence numbers, which is enough to represent 4 gigabytes of data.…”

Section: Introductionmentioning

confidence: 99%

Verification and Improvement of the Sliding Window Protocol

Chkliaev

Hooman

Vink

2003

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

Abstract. The well-known Sliding Window protocol caters for the reliable and efficient transmission of data over unreliable channels that can lose, reorder and duplicate messages. Despite the practical importance of the protocol and its high potential for errors, it has never been formally verified for the general setting. We try to fill this gap by giving a fully formal specification and verification of an improved version of the protocol. The protocol is specified by a timed state machine in the language of the verification system PVS. This allows a mechanical check of the proof by the interactive proof checker of PVS. Our modelling is very general and includes such important features of the protocol as sending and receiving windows of arbitrary size, bounded sequence numbers and channels that may lose, reorder and duplicate messages.

show abstract

Connection management in transport protocols

Cited by 55 publications

References 3 publications

Model of the synthesis of trisporic acid in Mucorales showing bistability

Model of the synthesis of trisporic acid in Mucorales showing bistability

Some problems with the specification of the Military Standard Transmission Control Protocol

Verification and Improvement of the Sliding Window Protocol

Contact Info

Product

Resources

About