Paper Info
Title
Anti-Replay Window Protocols for Secure IP
Abstract
The anti-replay window protocol is used to secure IP against an adversary that can insert (possibly replayed) messages in the message stream from a source computer to a destination computer in the Internet. In this paper, we verify the correctness of this important protocol using standard methods (i.e. auxiliary variables, annotation, and invariants). We show that despite the adversary, the protocol delivers each message at most once, and discards a message only if another copy of this message has already been delivered, or the message has suffered a reorder of degree w or more, where w is the window size. We then develop two variations of this protocol: one variation uses two windows of size w/2 each, and the other uses w windows of size one each. We use the same standard methods to show that each of these protocols delivers every message at most once, and discards a message only if another copy of this message has already been delivered, or the message has suffered a reorder of degree w+d or more, where d is the sum of current distances between successive windows in the protocol. These two protocols are shown to be more effective than the original protocol.
Year
DOI
Venue
2000
10.1109/ICCCN.2000.885507
ICCCN
Keywords
Field
DocType
Internet,protocols,security of data,telecommunication security,Internet,adversary,annotation,anti-replay window protocols,auxiliary variables,destination computer,double-window protocol,invariants,message insertion,message stream,replayed messages,secure IP,single-window protocol,source computer
Resource Reservation Protocol,Internet Protocol,Computer science,Computer network,Internet protocol suite,Message broker,MQTT,Internet Protocol Control Protocol,Anti-replay,Internetwork protocol,Operating system,Distributed computing
Conference
ISSN
Citations 
PageRank 
1095-2055
7
0.70
References 
Authors
12
3
Name
Order
Citations
PageRank
Mohamed G. Gouda11982317.23
Chin-Tser Huang228545.72
Eric Li3192.33