Subject: [tcpm] [Errata Verified] RFC5961 (4845)

From: RFC Errata System <[email-masked]>
Date: Mon, 31 Oct 2016 09:10:57 -0700 (PDT)

The following errata report has been verified for RFC5961,
"Improving TCP's Robustness to Blind In-Window Attacks". 

--------------------------------------
You may review the report below and at:
http://www.rfc-editor.org/errata_search.php?rfc=5961&eid=4845

--------------------------------------
Status: Verified
Type: Technical

Reported by: Michael Tüxen <[email-masked]>
Date Reported: 2016-10-27
Verified by: Mirja Kühlewind (IESG)

Section: 3.2

Original Text
-------------
   1) If the RST bit is set and the sequence number is outside the
      current receive window (SEG.SEQ <= RCV.NXT || SEG.SEQ > RCV.NXT+
      RCV.WND), silently drop the segment.

Corrected Text
--------------
   1) If the RST bit is set and the sequence number is outside the
      current receive window (SEG.SEQ < RCV.NXT || SEG.SEQ >= RCV.NXT+
      RCV.WND), silently drop the segment.

Notes
-----
The condition should be the opposite of (RCV.NXT <= SEG.SEQ < RCV.NXT+RCV.WND), which is stated in the second item of the enumeration.

--------------------------------------
RFC5961 (draft-ietf-tcpm-tcpsecure-13)
--------------------------------------
Title               : Improving TCP's Robustness to Blind In-Window Attacks
Publication Date    : August 2010
Author(s)           : A. Ramaiah, R. Stewart, M. Dalal
Category            : PROPOSED STANDARD
Source              : TCP Maintenance and Minor Extensions
Area                : Transport
Stream              : IETF
Verifying Party     : IESG