Re: [TLS] TLS 1.3 presentation language
Kazu Yamamoto ( 山本和彦 ) <kazu@iij.ad.jp> Tue, 25 July 2017 06:29 UTC
Return-Path: <kazu@iij.ad.jp>
X-Original-To: tls@ietfa.amsl.com
Delivered-To: tls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 6800C126DC2 for <tls@ietfa.amsl.com>; Mon, 24 Jul 2017 23:29:51 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.001
X-Spam-Level:
X-Spam-Status: No, score=-2.001 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RP_MATCHES_RCVD=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=iij.ad.jp
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 Gv6_Wpk8Ym8N for <tls@ietfa.amsl.com>; Mon, 24 Jul 2017 23:29:49 -0700 (PDT)
Received: from omgo.iij.ad.jp (mo901.iij.ad.jp [202.232.31.77]) (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 B16111200F3 for <tls@ietf.org>; Mon, 24 Jul 2017 23:29:49 -0700 (PDT)
DKIM-Signature: v=1;a=rsa-sha256;c=relaxed/simple;d=iij.ad.jp;h=Date: Message-Id:To:Cc:Subject:From:In-Reply-To:References:Mime-Version: Content-Type:Content-Transfer-Encoding; i=kazu@iij.ad.jp; s=omgo2; t=1500964188; x=1502173788; bh=IhT9XHiH9vzl5NKpcS2XZ+lh4pF/VeaycpEgD0WMrAM=; b=Me5cNjnPCkJ1UH JO+A26liGemmwB7Cilg3fA1LiHhj0ygiO4Den9ad0lGM4gPaVo6th5S+lsVa5kUGjgP/Ij8wl64KO 4CzsStCEvCLnTOK2ckWUbFqYiUw9Yk4i8j1q4TaJOXCnC6W8V6O0OMule9qeXsoQ59IubwC9pbNLz d06ZcgdImAfM1q8UMnDCkgqnxaxGHSBsbiwqVO9t3kvQxvSAoc+uxxsqOWCpAICwCnOxPEHuPQ9Z1 jKyogEh4AvxWXYYF13f87Kao7g2yA6TSeuCYV29o4ukQS7IAQ0MCnk8s9o6zkzd8syTse8zjGHeim gzUH6WzytjmNlr7RWB7Q==;
Received: by omgo.iij.ad.jp (mo901) id v6P6Tmma015987; Tue, 25 Jul 2017 15:29:48 +0900
X-Iguazu-Qid: 33Puh5E1VTAT0baabA
Date: Tue, 25 Jul 2017 15:29:47 +0900
Message-Id: <20170725.152947.1933219367499132607.kazu@iij.ad.jp>
To: s@pahtak.org
Cc: tls@ietf.org
From: Kazu Yamamoto <kazu@iij.ad.jp>
In-Reply-To: <A3A2E667-CBF9-49CA-9C4E-A5C0F85F0B7A@pahtak.org>
References: <A3A2E667-CBF9-49CA-9C4E-A5C0F85F0B7A@pahtak.org>
X-Mailer: Mew version 6.7 on Emacs 25.1 / Mule 6.0 (HANACHIRUSATO)
Mime-Version: 1.0
Content-Type: Text/Plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/tls/Ykviape5UIXw4pc7J9SKvXFv2Po>
Subject: Re: [TLS] TLS 1.3 presentation language
X-BeenThere: tls@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: "This is the mailing list for the Transport Layer Security working group of the IETF." <tls.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tls>, <mailto:tls-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tls/>
List-Post: <mailto:tls@ietf.org>
List-Help: <mailto:tls-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tls>, <mailto:tls-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 25 Jul 2017 06:29:51 -0000
Hi Stephen, Thank you for your nice work. > Concretely, I think we should make the following changes. > 1. Replace `length` with `TLSCiphertext.length` in the definition of `TLSCiphertext`. I agree. > 2. Replace `Hash.length` with `hash_length` throughout (9 instances). I agree. > 3. Change the definition of `select`'s `case` statements to have 0 or more fields (types and names) and remove the optional label. > 4. Change the `select` example to match the new definition. I agree if this means 1 or more. (See below) > 5. Change `Handshake` by adding field names to each `case` statement. (These could all be `body` or they could be unique.) Would you show me a concrete definition? > Remove the `body` label. I agree. > 6. Delete the `Empty` structure and replace both current uses with the comment `/* Empty */`. Empty has a long story. I proposed None (namely Empty) first but it was not accepted: https://github.com/tlswg/tls13-spec/issues/630 But when we discussed EarlyDataIndication, this idea came back: https://github.com/tlswg/tls13-spec/issues/861 So, people would want to avoid removing Empty again. --Kazu
- [TLS] TLS 1.3 presentation language Stephen Checkoway
- Re: [TLS] TLS 1.3 presentation language Kazu Yamamoto ( 山本和彦 )
- Re: [TLS] TLS 1.3 presentation language Stephen Checkoway
- Re: [TLS] TLS 1.3 presentation language Kazu Yamamoto ( 山本和彦 )
- Re: [TLS] TLS 1.3 presentation language Stephen Checkoway