Re: [Suit] Parameters and Commands

Michael Richardson <mcr+ietf@sandelman.ca> Thu, 27 February 2020 22:02 UTC

Return-Path: <mcr+ietf@sandelman.ca>
X-Original-To: suit@ietfa.amsl.com
Delivered-To: suit@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 744423A0D03; Thu, 27 Feb 2020 14:02:45 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.888
X-Spam-Level:
X-Spam-Status: No, score=-1.888 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, T_SPF_PERMERROR=0.01, URIBL_BLOCKED=0.001] autolearn=ham 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 z-2Z0bffkdOI; Thu, 27 Feb 2020 14:02:43 -0800 (PST)
Received: from tuna.sandelman.ca (tuna.sandelman.ca [IPv6:2607:f0b0:f:3:216:3eff:fe7c:d1f3]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id C65F93A0D07; Thu, 27 Feb 2020 14:02:43 -0800 (PST)
Received: from sandelman.ca (obiwan.sandelman.ca [IPv6:2607:f0b0:f:2::247]) by tuna.sandelman.ca (Postfix) with ESMTP id 660DE38982; Thu, 27 Feb 2020 17:01:39 -0500 (EST)
Received: from localhost (localhost [IPv6:::1]) by sandelman.ca (Postfix) with ESMTP id 9EB9F1002; Thu, 27 Feb 2020 17:02:41 -0500 (EST)
From: Michael Richardson <mcr+ietf@sandelman.ca>
To: Brendan Moran <Brendan.Moran@arm.com>
cc: suit <suit@ietf.org>, Koen Zandberg <koen@bergzand.net>, rats@ietf.org, Emmanuel Baccelli <Emmanuel.Baccelli@inria.fr>
In-Reply-To: <27913A6B-F42C-4AA9-8A7A-64B1D546C13C@arm.com>
References: <27913A6B-F42C-4AA9-8A7A-64B1D546C13C@arm.com>
X-Mailer: MH-E 8.6; nmh 1.7+dev; GNU Emacs 25.1.1
X-Face: $\n1pF)h^`}$H>Hk{L"x@)JS7<%Az}5RyS@k9X%29-lHB$Ti.V>2bi.~ehC0; <'$9xN5Ub# z!G,p`nR&p7Fz@^UXIn156S8.~^@MJ*mMsD7=QFeq%AL4m<nPbLgmtKK-5dC@#:k
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-="; micalg="pgp-sha256"; protocol="application/pgp-signature"
Date: Thu, 27 Feb 2020 17:02:41 -0500
Message-ID: <26361.1582840961@localhost>
Archived-At: <https://mailarchive.ietf.org/arch/msg/suit/6Cq2vf20svB5VrbmcFzTKcfPM6s>
Subject: Re: [Suit] Parameters and Commands
X-BeenThere: suit@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Software Updates for Internet of Things <suit.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/suit>, <mailto:suit-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/suit/>
List-Post: <mailto:suit@ietf.org>
List-Help: <mailto:suit-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/suit>, <mailto:suit-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 27 Feb 2020 22:02:46 -0000

Brendan Moran <Brendan.Moran@arm.com> wrote:
    > We have also discussed the possibility of defining attestation policy
    > within SUIT. This would mean that we need flags to indicate to the
    > parser which measurements should be reported. For example, a Vendor ID,
    > an image digest, or a component offset might need to be reported in the
    > attestation report. Each of these is checked by a condition. Each of
    > those conditions will consume a parameter under this model. Then, the
    > argument can indicate: report a measurement, do not report a
    > measurement, report a measurement only if comparison is successful, or
    > perhaps other attestation-related policies. Bear in mind that attesting
    > a failed condition may be helpful for attesting why a manifest has
    > failed, as we discussed in the hackathon and virtual interim meeting.

Just a note that I think we are avoiding the term "attesting a X",
The RATS architecture would term all of this as providing Evidence.
It completely makes sense to provide Evidence on a failed condition.

    > If we are making the majority of commands are using parameters instead
    > of arguments, this becomes trivial: the arguments are replaced with
    > attestation policy arguments. This allows us to tell the attestation
    > engine explicitly what to report from the manifest, which allows
    > secure, dynamically updatable attestation policy.

okay.
It seems like all of this has to go into the base document.
I don't think the SUIT document needs to mention the Evidence format
directly, does it?

--
Michael Richardson <mcr+IETF@sandelman.ca>, Sandelman Software Works
 -= IPv6 IoT consulting =-