Re: [MLS] Test framework

Karthikeyan Bhargavan <karthik.bhargavan@gmail.com> Fri, 20 July 2018 01:02 UTC

Return-Path: <karthik.bhargavan@gmail.com>
X-Original-To: mls@ietfa.amsl.com
Delivered-To: mls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id ADD0C130E62 for <mls@ietfa.amsl.com>; Thu, 19 Jul 2018 18:02:56 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.998
X-Spam-Level:
X-Spam-Status: No, score=-1.998 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_NONE=-0.0001, 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=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 ZbHzm612ciXi for <mls@ietfa.amsl.com>; Thu, 19 Jul 2018 18:02:54 -0700 (PDT)
Received: from mail-qk0-x231.google.com (mail-qk0-x231.google.com [IPv6:2607:f8b0:400d:c09::231]) (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 06C8E130E60 for <mls@ietf.org>; Thu, 19 Jul 2018 18:02:54 -0700 (PDT)
Received: by mail-qk0-x231.google.com with SMTP id d22-v6so5373566qkc.8 for <mls@ietf.org>; Thu, 19 Jul 2018 18:02:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:message-id:mime-version:subject:date:in-reply-to:cc:to :references; bh=QgLx46lEJr84RWPcQs/qQSXOCPVbxwYuRyKkBfI2BzE=; b=Jm4HkbcAHAywQwMAYoBNgdBy15GMei5CX44SnbpbRdid9MbjCMoawqARshE4fFijlO hof0YLJIkK1ZYvxungfKc8U8fUxPtVDVtkjDSTusGXeLeFD4ns2PN2e6UW5oemMA5hJk YhixFP2R35U39jI5W/4Es8i9bZZFfxb411ZT2JvpiJn/dxIQkz3RQoY4NCSgKqfugsB9 YkPhNWALGOm9Djsnl+tpMyRh1RUnpfTX/2O4jzv2VGijo4yFcDkmwpQAsX+9RDD4YZhu Lsf7uNBDNxr0/RknoCTZfkU2E3jv7FSXYWgelDN/9VPkT0+xjW1SLxOAZY4d6sUvrsU3 khSg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:message-id:mime-version:subject:date :in-reply-to:cc:to:references; bh=QgLx46lEJr84RWPcQs/qQSXOCPVbxwYuRyKkBfI2BzE=; b=KzIFKT2GHG8BpcThvMGKxwNPDoW8iNhS2E0zhVXK3BAb4ELWdw8WYxknoPQ7aFIdkz cXfiCyi9tNxEtDhIdEdsNghAJ97y347jutxAVJ45rJ10aj2E9dnAj6RuNmm89/TGCdEM zKm9TkcYNd76bVzPyswd1u0LCzGEbIVHKX7yvcZsIISG37zqyJbYpYunsL3asbEteO/D ioheQ9bcYmbfylIUpuNNu/WJECBTlAPX2ZPIVxwxt2uj7F6D3CaeWDKGzpEX4o1GvoTn DRtCf0mCg28hVFe1g0j231HpjlOqtabikQ1URsizFoNnMmGZ+vMewdT8ZcJVMn4Br0iF 5osg==
X-Gm-Message-State: AOUpUlHDMEWfEf6fugjC5qD6vWJPhlLwd3o/705IpstwTAMtau0nl92H R4kgghC8v8weVyT/rSVUw5w=
X-Google-Smtp-Source: AAOMgpeYEF4HDu85ckZKrQSGKQTCUgR6KMEOQXHGRnLCX0fbeRgoytyUTWmhfchdfa9RsnfX2852ZQ==
X-Received: by 2002:a37:c204:: with SMTP id i4-v6mr11047278qkm.438.1532048573003; Thu, 19 Jul 2018 18:02:53 -0700 (PDT)
Received: from [192.168.0.100] (pool-71-161-192-40.burl.east.myfairpoint.net. [71.161.192.40]) by smtp.gmail.com with ESMTPSA id t28-v6sm395206qki.82.2018.07.19.18.02.52 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 19 Jul 2018 18:02:52 -0700 (PDT)
From: Karthikeyan Bhargavan <karthik.bhargavan@gmail.com>
Message-Id: <2C6B2E08-F739-4297-97DD-4DEC0B1C33FA@gmail.com>
Content-Type: multipart/alternative; boundary="Apple-Mail=_56099BF6-FE26-4C80-A186-B05603F38144"
Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\))
Date: Thu, 19 Jul 2018 21:02:50 -0400
In-Reply-To: <CAL02cgTyDD551LaS=KRmGSjd=p2AHpv3t6j6q5MBohCsy=9odQ@mail.gmail.com>
Cc: mls@ietf.org
To: Richard Barnes <rlb@ipv.sx>
References: <CAL02cgTyDD551LaS=KRmGSjd=p2AHpv3t6j6q5MBohCsy=9odQ@mail.gmail.com>
X-Mailer: Apple Mail (2.3445.9.1)
Archived-At: <https://mailarchive.ietf.org/arch/msg/mls/iQZAaTobRxn0-Xe01HzaLlOTTh8>
Subject: Re: [MLS] Test framework
X-BeenThere: mls@ietf.org
X-Mailman-Version: 2.1.27
Precedence: list
List-Id: Messaging Layer Security <mls.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/mls>, <mailto:mls-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/mls/>
List-Post: <mailto:mls@ietf.org>
List-Help: <mailto:mls-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/mls>, <mailto:mls-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 20 Jul 2018 01:02:57 -0000

The parallel with the TLS 1.3 handshake maybe useful.
Although it was designed to be used only with TLS and its applications, it has not become useful to design a Handshake API that can be used by QUIC as well.
We should similarly define an API for MLS that can be used within messaging applications and publish test-vectors for this API.

-Karthik


> On 19 juil. 2018, at 19:08, Richard Barnes <rlb@ipv.sx> wrote:
> 
> In our overrun A.O.B. section today we had a topic, "interop test framework".  Since we didn't get to it in the meeting, here are some thoughts in writing:
> 
> The idea of interop testing is a little challenging for MLS, since we're only defining a part of the system -- we don't have a specified transport, for instance.  Instead, we just have message formats.  Given that focus, I'd propose we agree on a standard "API" for MLS implementation to implement, focused mainly on producing and consuming messages in the standard formats.  This would allow us to build some standard tooling that can pull messages from one implementation and feed it into another implementation.  
> 
> I don't think this needs to be an I-D / RFC, but it should probably be something we can all collaborate on.  As a start, I've dropped an initial API into GitHub gist (we can make a repo laster), based on the common API implemented by my JS ART and TreeKEM code:
> 
> https://gist.github.com/bifurcation/1a0765bb589383e42b473b7b21b2928a <https://gist.github.com/bifurcation/1a0765bb589383e42b473b7b21b2928a>
> 
> Folks who are considering implementing, does this look roughly sensible?  Are there things that are missing?  It probably needs an encrypt/decrypt for message protection, and some more accessors.
> 
> --Richard
> _______________________________________________
> MLS mailing list
> MLS@ietf.org
> https://www.ietf.org/mailman/listinfo/mls