Re: Unrecoverable loss pattern

Marten Seemann <martenseemann@gmail.com> Mon, 26 February 2018 01:31 UTC

Return-Path: <martenseemann@gmail.com>
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 83719127275 for <quic@ietfa.amsl.com>; Sun, 25 Feb 2018 17:31:05 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.699
X-Spam-Level:
X-Spam-Status: No, score=-2.699 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 fak7t_x5aqRM for <quic@ietfa.amsl.com>; Sun, 25 Feb 2018 17:31:03 -0800 (PST)
Received: from mail-vk0-x22b.google.com (mail-vk0-x22b.google.com [IPv6:2607:f8b0:400c:c05::22b]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 4C9051271FD for <quic@ietf.org>; Sun, 25 Feb 2018 17:31:03 -0800 (PST)
Received: by mail-vk0-x22b.google.com with SMTP id k187so8830809vke.12 for <quic@ietf.org>; Sun, 25 Feb 2018 17:31:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=HL3XhoyVHJ/eTKRAqXBsF2yCh+sEifHNIkFMGgjYU6g=; b=EFoiHFVJNLf1fljBnGEEymI/vkZpyM8AiRS0B8mgGPFxzhMi6vvzaYqXBujg431g/S y8oMoUP23dRGNFVLvKhx987qbG2gLnG1DWRwk8BllobLOhvnW71dhx9rKs1Bhyb6KhiG iqY+eMuVtQ3iq/8mlvDEXeTYRnrLRVu+89OBdaCpISY9PBNg9gwr3/G3W4Yjb0Zlrcp0 F/0BeFCoEwfkjLDS2tk/n518jyS+VFM/qN/Q/sLjgfVELL2Z6khkCj0jad5MSIlJt19t 1npQHrlm+lQsT7MW5X62Z6q+cG0tzuZaZZokYEkl200qqrjC30Ox/WNC2hs/V008nEr8 LZMQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=HL3XhoyVHJ/eTKRAqXBsF2yCh+sEifHNIkFMGgjYU6g=; b=eVVQlBlcz8U9W9QkWzcgAm2SqgFuWh4vg3vZJOoMmYgdK+yvOp4ya/9R+IrZVQciB+ zYsQAPZg18FY49wdqmOm1SCLUtaODapCHU9B+mHamn//LGO0Y+N3aWZsHmjly6xlhisg Ql5bdjynQnRM9zV+mU+siNZm71vFAO52FtleDbTtyrhiFZ+yFcJ1Q3Nx8l+QIrwWooVJ T7jbSbwQVgsXhhGTFTxwFfc9YsQuGAPDSKN3hF3slWi7WIMpER8+t28YnLSwYXQAVXNh F0Ums5UBP9rdS+q+jQcFNYiPtGqBhnJwepIL/vuN4xt9cx83nHR83H1TYXiNgk9Q7NGQ BZCw==
X-Gm-Message-State: APf1xPAdRL50wgDqf8n51Eg0pp2Pk9CeZ8zrTpK1pb7JSSRXmYrYgQ9c wNmvWdnfH6OO/zvkiOYRVlV/I5ivcpZn1cdXRtQ=
X-Google-Smtp-Source: AG47ELu5cAFcLDtL+acghDZBf1imwSy9Cxogdzja/I2474PPD9x0VPD3DFxfq0v1szxjHRrnfC69hmyWCc3EzJDFKyg=
X-Received: by 10.31.215.65 with SMTP id o62mr6427vkg.152.1519608661985; Sun, 25 Feb 2018 17:31:01 -0800 (PST)
MIME-Version: 1.0
References: <CAOYVs2q1QSpvZjPRfbJmKhhQ6eApwLSSFSbbOBt2J-PAeqVELQ@mail.gmail.com> <CABkgnnWuXJb2_BcfU4N=ODwy5JDZKBBd6TyhFmXLbPgVrvCoEA@mail.gmail.com> <CAOYVs2q0q6YrFfipd7UEENoz2ht2Mr0fPqnvy5pJRz-bPxCJpw@mail.gmail.com> <059bc7c6-a8cb-c46b-c971-333b9051c222@huitema.net>
In-Reply-To: <059bc7c6-a8cb-c46b-c971-333b9051c222@huitema.net>
From: Marten Seemann <martenseemann@gmail.com>
Date: Mon, 26 Feb 2018 01:30:51 +0000
Message-ID: <CAOYVs2ogy77tjE+e9_mj6YNYcsDP0iduUKsE-_JnMrOeo4jVbQ@mail.gmail.com>
Subject: Re: Unrecoverable loss pattern
To: Christian Huitema <huitema@huitema.net>
Cc: quic@ietf.org
Content-Type: multipart/alternative; boundary="94eb2c07d90a7ecee405661376f1"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/aiLbnM1En2dXQplO6Qfud0-lC5w>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.22
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: Mon, 26 Feb 2018 01:31:05 -0000

The problem is that the server will not open the unencrypted packet
containing the retransmission of the FINISHED, since it already completed
the handshake AND received ACKs for all its handshake packets. We *could*
fix this problem by making the server accept unencrypted packets
indefinitely, but this comes with a whole range of problems of
man-on-the-side attacks.

On Mon, Feb 26, 2018 at 9:20 AM Christian Huitema <huitema@huitema.net>
wrote:

> On 2/25/2018 4:58 PM, Marten Seemann wrote:
>
> @Nick: The server did get all handshake packets, please see 1. in my
> description. It's the server's ACK for the FINISHED message that is lost,
> not the FINISHED message itself.
> @Martin: Yes, it is, but I don't think there's anything problematic about
> the language in this paragraph. Since the server received ACKs for all the
> handshake messages it sent, it makes sense to not open unencrypted packets
> any more.
>
>
> See https://github.com/quicwg/base-drafts/issues/829 and
> https://github.com/quicwg/base-drafts/issues/1018 for  discussion of
> related issues.
>
> Picoquic manages these issues by handling "ACK of ACK". Normally, it will
> send ACK frames that acknowledge all packets received so far, potentially
> with a long list of ACK ranges. So if an ACK is lost, the next ACK will
> repeat the information that it carried. The list is only pruned when an
> "ACK of ACK" is received.
>
> In your example, if the FINISHED message is not acknowledged, the client
> will retransmit the stream zero data containing the FINISHED message in a
> new Handshake packet. The server will have to send an ACK of that packet,
> and the ACK range will also cover the previous packet. There is no problem
> for sending that ACK. You cannot acknowledge a protected packet in a clear
> text message, but nothing prevents you from acknowledging clear text
> packets in protected messages.
>
>
> -- Christian Huitema
>