✦ LIBER ✦

Deductive verification of the Sliding Window Protocol

✍ Scribed by Chkliaev, D. A.; Nepomniaschy, V. A.

Book ID: 121557735
Publisher: Allerton Press Inc
Year: 2013
Tongue: English
Weight: 150 KB
Volume: 47
Category: Article
ISSN: 0146-4116
DOI: 10.3103/S0146411613070195

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of a sliding window protoco

Verification of a sliding window protocol inμCRL and PVS

✍ Bahareh Badban; Wan Fokkink; Jan Friso Groote; Jun Pang; Jaco van de Pol 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 387 KB

The sliding-window protocol revisited

✍ Jan L. A. van de Snepscheut 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 813 KB

Generalization of the basic sliding wind

Generalization of the basic sliding window protocol

✍ Drago Hercog 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 319 KB

A new protocol called generalized sliding window protocol is described and formally specified using the Specification and Description Language (SDL). The protocol generality was achieved by appropriately combining the classical go-back-n and selective-repeat protocols that both have traditionally be

A protocol test system for the study of

A protocol test system for the study of sliding window protocols on networked UNIX computers

✍ Kassabian, D.; Albicki, A. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 670 KB

On Jan L. A. van de Snepscheut's “The Sl

On Jan L. A. van de Snepscheut's “The Sliding-Window Protocol Revisited”

✍ H. Peter Hofstee 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 142 KB

Detection of covert voice-over Internet

Detection of covert voice-over Internet protocol communications using sliding window-based steganalysis

✍ Huang, Y.F.; Tang, S.; Zhang, Y. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 546 KB