The author presents the verification and analysis of a sliding-window protocol which uses sequence numbers andtimestamps to achieve reliable, flow-controlled data transfer over an unreliable network. The timestamps are used to prevent hazards present in very high-speed networks due to the too fast wrap-around of sequence numbers. The protocol the author analysis in this paper models the PAWS (Protect Against Wrapped Sequence Numbers) mechanism, a proposed extension of the Transmission Control Protocol (TCP) of the internet protocol suite.
| Original language | English |
|---|
| Place of Publication | Enschede |
|---|
| Publisher | University of Twente |
|---|
| Number of pages | 35 |
|---|
| Publication status | Published - 1994 |
|---|
| Name | Memoranda informatica |
|---|
| Publisher | University of Twente |
|---|
| No. | 94-42 |
|---|
| ISSN (Print) | 0924-3755 |
|---|
| Name | Memorandum TIOS |
|---|
| Publisher | University of Twente, Tele-Informatics and Open Systems Group |
|---|
| No. | 94-12 |
|---|