Re: [Trans] STH Discipline & Security Considerations

Andrew Ayer <agwa@andrewayer.name> Fri, 03 March 2017 19:09 UTC

Return-Path: <agwa@andrewayer.name>
X-Original-To: trans@ietfa.amsl.com
Delivered-To: trans@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B5AA012998E for <trans@ietfa.amsl.com>; Fri, 3 Mar 2017 11:09:52 -0800 (PST)
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, SPF_HELO_PASS=-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=andrewayer.name
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 x7acziqdvi0z for <trans@ietfa.amsl.com>; Fri, 3 Mar 2017 11:09:51 -0800 (PST)
Received: from alcazar.beanwood.com (alcazar.beanwood.com [IPv6:2600:3c00:e000:6c::1]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 7B7941295BA for <trans@ietf.org>; Fri, 3 Mar 2017 11:09:51 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=andrewayer.name; s=beanwood20160511; t=1488568191; bh=aXfWBaWXx3LBsQBppEhZvTNi8GEe8/UTphT1obmhrHg=; h=Date:From:To:Cc:Subject:In-Reply-To:References; b=U6Cqpjv3qGNF/zFdOFlmNh+io0SHgdF+cZLCn16FY6jOf/NfCOOti05FwFVsRIiMU q8IDrOBFI72tCmfm/Mkx9yyVIXOTDw6vk5YmZRHxpuu9vLtNE/sAa/u+dZd+N/MWpW vQ3NgAFcUf3/7GQCdJLuq2b6WLgzpw0QCizZmbeIFjcIbuC0TDxlF/1JflmIqdCFxn mvNLBbI7I0E1S8OAcRU3ys3ij85gino7DgNO7gZD0EOlLfqbIzzOiKJ4x7kWg8fxfJ ZAM72cEVRGl46KdPZLov2eO8RzIhpzSBGkE/F3qLVCaEDYW/2W0xPxXpXuE+M5iiCe kiNyuUZmtkICg==
Date: Fri, 03 Mar 2017 11:09:50 -0800
From: Andrew Ayer <agwa@andrewayer.name>
To: Richard Barnes <rlb@ipv.sx>
Message-Id: <20170303110950.b04152416b71a5873b74fa37@andrewayer.name>
In-Reply-To: <CAL02cgSr_G6HdS7f28cgBE4G_DAhnz6ios2EsTGEx==t6ONOZw@mail.gmail.com>
References: <CAL02cgSr_G6HdS7f28cgBE4G_DAhnz6ios2EsTGEx==t6ONOZw@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/trans/jbJ2al5NWUwx6SuZRlGMDWueSlQ>
Cc: Trans <trans@ietf.org>
Subject: Re: [Trans] STH Discipline & Security Considerations
X-BeenThere: trans@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
List-Id: Public Notary Transparency working group discussion list <trans.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/trans>, <mailto:trans-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/trans/>
List-Post: <mailto:trans@ietf.org>
List-Help: <mailto:trans-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/trans>, <mailto:trans-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 03 Mar 2017 19:09:52 -0000

On Fri, 3 Mar 2017 13:24:51 -0500
Richard Barnes <rlb@ipv.sx> wrote:

> # STH Discipline
> 
> Either style of auditing also works better if logs have a notion of
> "STH discipline", in the following sense:
> 
> 1. The official state of the log comprises a sequence of STHs issued
> at specified intervals.
> 
> 2. For each certificate in the log, there is a single "canonical STH"
> to which
>    the log will produce an inclusion proof.

To be clear, would there still be a way to get inclusion proofs to
non-canonical STHs?  Clients wouldn't have to use them if they didn't
want to.

> Proofs to other STHs are
> done by
>    adding a consistency proof to the inclusion proof.
> 
> This property makes things work more smoothly in both auditing models:
> 
> - If the browser is willing to cache STHs, this tells the browser
> exactly which
>   STHs it needs to cache in order to validate all inclusion proofs.
> 
> - Everything is more cacheable, since there's only one inclusion
> proof per certificate, and a limited set of heads among which
> consistency needs to be
>   calculated.
> 
> - Cacheability means that the fetches of inclusion proofs get greater
> privacy
>   benefit from caching, since they depend only on the certificate,
> not the STH
>   that the client is using.  Likewise for consistency proofs, because
> of the reduced variety.
> 
> >From a protocol point of view, I haven't done a thorough evaluation
> >of the
> document, but there are at least a few things you would want to make
> this model
> work:
> 
> - Prose that articulates the above bounds on logs / inclusion
> proofs / STHs. Probably a notion of "STH issuance frequency" parallel
> to MMD.
> 
> - A field in an SCT that indicates the canonical STH for the
> certificate in question.  Possibly a serial number in STH that SCTs
> could refer to.

Is this necessary?  Why not define the canonical STH as the first STH
issued after the SCT (based on timestamp)?

> - An API endpoint for fetching STHs in the official sequence (in
> addition to the current one, which is the only option right now).

+1. I think any privacy-preserving auditing mechanism will need such an
endpoint so that STHs can be reliably distributed to clients.

Regards,
Andrew