Verification of a timestamp-based sliding-window protocol

A.L. Oláh

    Research output: Book/ReportReportProfessional


    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 languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages35
    Publication statusPublished - 1994

    Publication series

    NameMemoranda informatica
    PublisherUniversity of Twente
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group

    Cite this