Re: Is the invariants draft really standards track?

Christian Huitema <huitema@huitema.net> Fri, 19 June 2020 21:49 UTC

Return-Path: <huitema@huitema.net>
X-Original-To: quic@ietfa.amsl.com
Delivered-To: quic@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E33663A0EE8 for <quic@ietfa.amsl.com>; Fri, 19 Jun 2020 14:49:24 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.798
X-Spam-Level:
X-Spam-Status: No, score=-1.798 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, HTTPS_HTTP_MISMATCH=0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id g8WThokGGm9Q for <quic@ietfa.amsl.com>; Fri, 19 Jun 2020 14:49:22 -0700 (PDT)
Received: from mx36-out10.antispamcloud.com (mx36-out10.antispamcloud.com [209.126.121.30]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id CA19E3A0EB6 for <quic@ietf.org>; Fri, 19 Jun 2020 14:49:21 -0700 (PDT)
Received: from xse405.mail2web.com ([66.113.197.151] helo=xse.mail2web.com) by mx18.antispamcloud.com with esmtp (Exim 4.92) (envelope-from <huitema@huitema.net>) id 1jmOsr-0008IA-8N for quic@ietf.org; Fri, 19 Jun 2020 23:49:20 +0200
Received: from xsmtp22.mail2web.com (unknown [10.100.68.61]) by xse.mail2web.com (Postfix) with ESMTPS id 49pXW51JSPz8XK6 for <quic@ietf.org>; Fri, 19 Jun 2020 14:48:49 -0700 (PDT)
Received: from [10.5.2.17] (helo=xmail07.myhosting.com) by xsmtp22.mail2web.com with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from <huitema@huitema.net>) id 1jmOsT-0000Jd-10 for quic@ietf.org; Fri, 19 Jun 2020 14:48:49 -0700
Received: (qmail 19804 invoked from network); 19 Jun 2020 21:48:48 -0000
Received: from unknown (HELO [192.168.1.107]) (Authenticated-user:_huitema@huitema.net@[172.58.43.64]) (envelope-sender <huitema@huitema.net>) by xmail07.myhosting.com (qmail-ldap-1.03) with ESMTPA for <quic@ietf.org>; 19 Jun 2020 21:48:48 -0000
To: "Lubashev, Igor" <ilubashe=40akamai.com@dmarc.ietf.org>, Martin Duke <martin.h.duke@gmail.com>
Cc: Jared Mauch <jared@puck.nether.net>, Kyle Rose <krose@krose.org>, Ian Swett <ianswett=40google.com@dmarc.ietf.org>, Lars Eggert <lars@eggert.org>, IETF QUIC WG <quic@ietf.org>
References: <CAM4esxQBqfrz24riPQA_VGKcGp_TzW0pqb97KfFMtNdW9pUfDg@mail.gmail.com> <833A693C-62E6-4889-9954-FCE65A839A7C@eggert.org> <CAKcm_gPMO2DtqvKucqVw0zDjSniSOmFD4p1Tp4YLjr9WSWdEUw@mail.gmail.com> <CAJU8_nUN42gGmQof24XD9-EjXedyzcarDyRP8MGe1qW-BZ=+Aw@mail.gmail.com> <9cd91c24-c730-22a4-7aa0-baf61613b3ce@huitema.net> <f4922cdb59014202900de44cc5fea0ff@usma1ex-dag1mb5.msg.corp.akamai.com> <CAM4esxQvwkTvpUcu6-+W5zWo22m-R1jvN7DcCpXfuw8Hb55qsw@mail.gmail.com> <95dd02c92b32472d9cab0dd47b98c637@usma1ex-dag1mb5.msg.corp.akamai.com> <CAM4esxQxxXn27rZEY75-AsHD5VF0fqiV1VDyeSrzQ=-sM7JNCg@mail.gmail.com> <9c2e300c30f74d1794d11cf4334ea07b@usma1ex-dag1mb5.msg.corp.akamai.com>
From: Christian Huitema <huitema@huitema.net>
Autocrypt: addr=huitema@huitema.net; prefer-encrypt=mutual; keydata= mDMEXtavGxYJKwYBBAHaRw8BAQdA1ou9A5MHTP9N3jfsWzlDZ+jPnQkusmc7sfLmWVz1Rmu0 J0NocmlzdGlhbiBIdWl0ZW1hIDxodWl0ZW1hQGh1aXRlbWEubmV0PoiWBBMWCAA+FiEEw3G4 Nwi4QEpAAXUUELAmqKBYtJQFAl7WrxsCGwMFCQlmAYAFCwkIBwIGFQoJCAsCBBYCAwECHgEC F4AACgkQELAmqKBYtJQbMwD/ebj/qnSbthC/5kD5DxZ/Ip0CGJw5QBz/+fJp3R8iAlsBAMjK r2tmyWyJz0CUkVG24WaR5EAJDvgwDv8h22U6QVkAuDgEXtavGxIKKwYBBAGXVQEFAQEHQJoM 6MUAIqpoqdCIiACiEynZf7nlJg2Eu0pXIhbUGONdAwEIB4h+BBgWCAAmFiEEw3G4Nwi4QEpA AXUUELAmqKBYtJQFAl7WrxsCGwwFCQlmAYAACgkQELAmqKBYtJRm2wD7BzeK5gEXSmBcBf0j BYdSaJcXNzx4yPLbP4GnUMAyl2cBAJzcsR4RkwO4dCRqM9CHpVJCwHtbUDJaa55//E0kp+gH
Subject: Re: Is the invariants draft really standards track?
Message-ID: <2c40f3d9-fa40-9834-ac30-36bc9a1a6303@huitema.net>
Date: Fri, 19 Jun 2020 14:48:48 -0700
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.9.0
MIME-Version: 1.0
In-Reply-To: <9c2e300c30f74d1794d11cf4334ea07b@usma1ex-dag1mb5.msg.corp.akamai.com>
Content-Type: multipart/alternative; boundary="------------78BEF07D38E0F11540D1141A"
Content-Language: en-US
X-Originating-IP: 66.113.197.151
X-Spampanel-Domain: xsmtpout.mail2web.com
X-Spampanel-Username: 66.113.197.0/24
Authentication-Results: antispamcloud.com; auth=pass smtp.auth=66.113.197.0/24@xsmtpout.mail2web.com
X-Spampanel-Outgoing-Class: unsure
X-Spampanel-Outgoing-Evidence: Combined (0.15)
X-Recommended-Action: accept
X-Filter-ID: Mvzo4OR0dZXEDF/gcnlw0f6LF1GdvkEexklpcFpSF5apSDasLI4SayDByyq9LIhVUZbR67CQ7/vm /hHDJU4RXkTNWdUk1Ol2OGx3IfrIJKywOmJyM1qr8uRnWBrbSAGDcnqpk5VeF3xR4kF6iVwRtbgN zB/4Jkrw1eDLcif59ftWVWQDBUNR1RlC0Cuws2FOU7Tmz6iKnkQL9gqsxD347235Nhqq+/HvroPq 8GSPg+5hmwN8D4LrepG7AX8WNwY8PM2DmctUkuqITdPZ8a3LuY6jSvfpO+1kZkomjtjB6X5Q5Q9f RUeIpTIC2ySfqvnqLwoxlgatmaBb0rBiK9xbkDrUqzcKIief90MVLZY9LbIZh9+IQ1oS9LBn3VIP 95Jz7ujRlJ9wSMlhvaudJXZ9EIBG/qaR+8r9SKFMmPJLf850OvZYsmoVQuOIhwKLK6IKBNB4LZ0v UHHKTzJX7b1JhLSQQ4vSj0QEim26t/Moy0UPX5E73H1QfrH/5kkrV/Cr0bm2vWdo8usP65i82q1C dZgGrpL44wdx9eXqjQjbvUopOMQJvQ/Ck3iiU+4DQAj3fuQgzT3K9JUHTNiGwfwAmxx/Wk8McinP JEkgAVrOMpbIPHELHGuybVREcKQKsZ6S4LcBfuQ2UTwAgewOf3yUBSxCkcZUXdAZaPbURRvf5Ecv UwPy3x0FYtCNEb10sHyQCLHEvD1OqP6bgZ4L66GcgBg66gs5OuzYxJgw5atIxeNDvjI/CYe5WPy0 +t1RP0azMDzivn+U4bsKYbUeciCcn5xMPnetLBJMh51NiRRoHIAWe52rGzfY483zGYnBiem0miK7 x42VjdzChZMe6O/Did+/hGXTmfhE+Dx2/NyzMXrFCkQ40uY20UVTgqg+hJ1IvOnCUbNPgcPcQwzM gKHyQxUo+ql2ySTkvEFH/23XMww2BnTTFGX5/yI4Ky+1ZJcbGqc5H4PEZHeoI/d6LWFf332z7LMw LGdoi9FMQ5j9dQUvMi1YKAun15JQSJLyCT5k+MTObVKxHy/dols381l9r9ft9daDonlwd6LnuX+J u10=
X-Report-Abuse-To: spam@quarantine11.antispamcloud.com
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/G7PI8Mr5DjCyyHSibYIUSMYpE8U>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Main mailing list of the IETF QUIC working group <quic.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/quic>, <mailto:quic-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/quic/>
List-Post: <mailto:quic@ietf.org>
List-Help: <mailto:quic-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/quic>, <mailto:quic-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 19 Jun 2020 21:49:31 -0000

When under DOS attack, you want to "minimize blowback", i.e., as much as
possible avoid generating packets in response to attack traffic. So,
yes, a server may choose to not send stateless resets to anyone when
under attack; in fact, my recommendation would be that a server SHOULD
NOT send stateless resets to anyone when under attack.

That said, Igor raised an interesting point about return traffic. It
would be very nice if DOS protection boxes could distinguish between
"validated traffic" that the server presumably intends to process, and
"unsolicited traffic" that will just consume resource. The box can then
reserve some share of the resource for validated traffic, and place the
rest of the traffic in a lower priority queue. Fine, but there needs to
be a test. The classic test is that incoming traffic is "validated" if
the protection box can match it with return traffic coming from the
server -- for some definition of matching.

From that point of view, stateless reset is definitely not helpful. But
problematic traffic goes beyond that. The server will reply to a
client's initial with a server's initial packet. Does that validate the
response traffic? OK, maybe the protection box can programmed to only
validate traffic if it sees 1RTT packets. But many servers will send
1-RTT packets as 0.5 RTT. Does that validate the response traffic?

We might say that traffic is validated when the handshake is confirmed,
but the protection box does not understand the TLS handshake, it just
sees packet types and packet sizes. It cannot distinguish between 0.5RTT
data and 1RTT data, and thus the closest approximation of "validation"
would be seeing more than an initial window worth of traffic coming back
from the server. That does not sound great.

On the other hand, things get much better if the server under attack can
adopt a defensive posture and help the DOS protection box do its job.
Suppose that a server can detect that it is under attack -- or be
explicitly configured so. The simplest defensive posture would be to (1)
disable stateless reset and (2) not send any 0.5RTT packet, including in
response to 0-RTT. The protection boxes can at that point take the 1-RTT
packets from the server as indicating validation.

Maybe we should specify that.

-- Christian Huitema

On 6/19/2020 1:42 PM, Lubashev, Igor wrote:
>
> > There is no need for servers to decrypt CIDs in QUIC-LB. Presumably
> the server has a lookup table for its CIDs.
>
>  
>
> Sending a stateless reset in response to a junk packet would cost more
> CPU than verifying CID integrity.  But, yes, a server may choose to
> not send stateless resets to anyone when under attack.
>
>  
>
>  
>
> *From:* Martin Duke <martin.h.duke@gmail.com>
> *Sent:* Friday, June 19, 2020 2:44 PM
>
> >Unfortunately, Retry system protects only server's memory state and
> some CPU cycles spent on crypto.  (Servers still need to decrypt CID
> to decide it is invalid, and if the attacker is clever enough to
> establish one valid connection and use that CID in a flood, the server
> will also be decrypting packets.)  
>
>  
>
> There is no need for servers to decrypt CIDs in QUIC-LB. Presumably
> the server has a lookup table for its CIDs.
>
>  
>
> It is true that Retry Services (and indeed, the Retry concept as a
> whole) does nothing to protect network capacity.
>
>  
>
> On Fri, Jun 19, 2020 at 8:08 AM Lubashev, Igor <ilubashe@akamai.com
> <mailto:ilubashe@akamai.com>> wrote:
>
>     It looks like
>     https://tools.ietf.org/html/draft-ietf-quic-load-balancers-02#section-5
>     <https://urldefense.proofpoint.com/v2/url?u=https-3A__tools.ietf.org_html_draft-2Dietf-2Dquic-2Dload-2Dbalancers-2D02-23section-2D5&d=DwMFaQ&c=96ZbZZcaMF4w0F4jpN6LZg&r=Djn3bQ5uNJDPM_2skfL3rW1tzcIxyjUZdn_m55KPmlo&m=eTT-BoZ1fMitywKRVSxpU3js0lhO0qkspYTKljvj-ys&s=1x7AN2a51X_zV5xSyK0uCL8vZ5cugD3n4lbFWZDqVQg&e=>
>     is an excellent discussion of Retry mechanics.  It definitely
>     deserves a reference from this manageability draft.
>
>      
>
>     The Retry mechanisms described in LB draft are all cooperating
>     boxes, and servers must be aware of them.  Unfortunately, Retry
>     system protects only server's memory state and some CPU cycles
>     spent on crypto.  (Servers still need to decrypt CID to decide it
>     is invalid, and if the attacker is clever enough to establish one
>     valid connection and use that CID in a flood, the server will also
>     be decrypting packets.)  Retry does nothing to protect network
>     resources.
>
>      
>
>     The PR I opened (https://github.com/quicwg/ops-drafts/pull/94
>     <https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_quicwg_ops-2Ddrafts_pull_94&d=DwMFaQ&c=96ZbZZcaMF4w0F4jpN6LZg&r=Djn3bQ5uNJDPM_2skfL3rW1tzcIxyjUZdn_m55KPmlo&m=eTT-BoZ1fMitywKRVSxpU3js0lhO0qkspYTKljvj-ys&s=VpvhQ9n79rANIk3O5Sm7PZyToFQEennoPt9iqFpWbq8&e=>)
>     is about uncooperating devices that try to mitigate volumetric
>     network attacks.
>
>      
>
>      
>
>     *From:* Martin Duke <martin.h.duke@gmail.com
>     <mailto:martin.h.duke@gmail.com>>
>     *Sent:* Wednesday, June 17, 2020 8:16 PM
>
>     Hi Igor, you might want to check out the "Retry Services" bit of
>     the QUIC-LB draft. This has something to do with the DDoS use case
>     you discuss.
>
>      
>
>     On Wed, May 27, 2020 at 9:07 AM Lubashev, Igor
>     <ilubashe@akamai.com <mailto:ilubashe@akamai.com>> wrote:
>
>         I’m working on a manageability draft PR for this (how to rate
>         limit UDP to reduce disruption to QUIC if you have to rate
>         limit UDP).  ETA end of the week (if I do not get pulled into
>         something again).
>
>          
>
>         The relevant observation is that DDoS with UDP that is
>         indistinguishable from QUIC will happen.  UDP is already the
>         most prevalent DDoS vector, since it is easy for a compromised
>         non-admin app to send a flood of huge UDP packets (with TCP
>         you get throttled by the congestion controller).  So there
>         WILL be DDoS protection devices out there to try to mitigate
>         the problem, possibly by observing both directions of the flow
>         and deciding whether a packet belongs to a valid flow or not.
>
>          
>
>         Since such middle boxes will be created, the more explicit and
>         normative Invariants are about what one can expect, the less
>         such middle boxes may decide for themselves.  For example (I
>         did not think long about it), if some elements of path
>         validation could land into Invariants (roughly, “no more than
>         X packets/bytes can be sent on a new path w/o a return
>         packet”), a DDoS middle box may use this fact and active
>         connection migration might still have a chance during an
>         attack (NAT rebinding could be linked by DDoS boxes to an old
>         connection via unchanged CID).
>
>          
>
>           * Igor
>
>          
>
>          
>
>         *From:* Christian Huitema <huitema@huitema.net
>         <mailto:huitema@huitema.net>>
>         *Sent:* Wednesday, May 27, 2020 11:34 AM
>
>         On 5/27/2020 8:28 AM, Kyle Rose wrote:
>
>             On Wed, May 27, 2020 at 10:34 AM Ian Swett
>             <ianswett=40google.com@dmarc.ietf.org
>             <mailto:40google.com@dmarc.ietf.org>> wrote:
>
>                 I was agreeing with MT, but I'm happy to see some more
>                 MUSTs added if people feel that'd be helpful.
>
>              
>
>             Coincidentally, we were just talking about this internally
>             at Akamai yesterday. IMO, an invariants document isn't
>             really helpful if it isn't normative, and for it to be
>             normative it (or a related practices doc for operators)
>             really needs to spell out clear boundaries for operators
>             with MUSTs..
>
>              
>
>             The example that came up yesterday was around operators
>             filtering QUIC in the event of a DDoS: one recommendation
>             based on some conversations going back at least to Prague
>             2019 was to hash packets on 4-tuple and filter those below
>             a hash value chosen for a desired ingress limit instead of
>             doing what most operators do with UDP today, which is to
>             cap UDP throughput and just drop packets randomly or tail
>             drop.
>
>         Interesting. Did they consider using the CID, or a fraction of
>         it? This looks entirely like the scenario for which we
>         developed stateless retry.
>
>              
>
>             This recommendation certainly imposes some constraints on
>             future protocol development that motivate new invariants:
>             for instance, it would preclude sharding a connection
>             across multiple source ports (not that there is
>             necessarily a reason to do this; it's just an example).
>             But more importantly, it goes beyond invariants: it's one
>             among many practices compatible with the current set of
>             invariants, some reasonable and some terrible.
>
>         This would break the "preferred address" redirection.
>         Preferred address migration may or may not be spelled out in
>         the invariants.
>
>              
>
>             Operators are going to do things to QUIC traffic, so it
>             would be good to offer them recommendations that are
>             compatible with broad deployability.
>
>          
>
>         Yes, we do need the invariants for that.
>
>         -- Christian Huitema
>