Re: [Rats] Propose a new event-log-type in CHARRA

Michael Richardson <mcr+ietf@sandelman.ca> Fri, 28 August 2020 20:37 UTC

Return-Path: <mcr+ietf@sandelman.ca>
X-Original-To: rats@ietfa.amsl.com
Delivered-To: rats@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 9A2BB3A0BD9 for <rats@ietfa.amsl.com>; Fri, 28 Aug 2020 13:37:04 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, 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 UMSPcyGSJcnJ for <rats@ietfa.amsl.com>; Fri, 28 Aug 2020 13:37:02 -0700 (PDT)
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 993243A0BD7 for <rats@ietf.org>; Fri, 28 Aug 2020 13:37:02 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by tuna.sandelman.ca (Postfix) with ESMTP id 228D7389DE; Fri, 28 Aug 2020 16:16:01 -0400 (EDT)
Received: from tuna.sandelman.ca ([127.0.0.1]) by localhost (localhost [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 1e18FPUz02Nf; Fri, 28 Aug 2020 16:16:00 -0400 (EDT)
Received: from sandelman.ca (obiwan.sandelman.ca [209.87.249.21]) by tuna.sandelman.ca (Postfix) with ESMTP id 2E828389DC; Fri, 28 Aug 2020 16:16:00 -0400 (EDT)
Received: from localhost (localhost [IPv6:::1]) by sandelman.ca (Postfix) with ESMTP id 33634B3; Fri, 28 Aug 2020 16:37:00 -0400 (EDT)
From: Michael Richardson <mcr+ietf@sandelman.ca>
To: "Panwei (William)" <william.panwei@huawei.com>, "rats@ietf.org" <rats@ietf.org>
In-Reply-To: <f92d4256061948a3aa89952b912c81e3@huawei.com>
References: <f92d4256061948a3aa89952b912c81e3@huawei.com>
X-Mailer: MH-E 8.6+git; nmh 1.7+dev; GNU Emacs 26.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-sha512"; protocol="application/pgp-signature"
Date: Fri, 28 Aug 2020 16:37:00 -0400
Message-ID: <28425.1598647020@localhost>
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/Vszdt_B3x7lp3ja3Bm4Ci1FB6BI>
Subject: Re: [Rats] Propose a new event-log-type in CHARRA
X-BeenThere: rats@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Remote ATtestation procedureS <rats.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/rats>, <mailto:rats-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/rats/>
List-Post: <mailto:rats@ietf.org>
List-Help: <mailto:rats-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/rats>, <mailto:rats-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 28 Aug 2020 20:37:05 -0000

Panwei (William) <william.panwei@huawei.com> wrote:
    > When the device boots, it needs to load/execute a lot of files, but the
    > order in which these files are loaded/executed is not deterministic or
    > hard to keep fixed, so it's difficult to give an accurate reference
    > value.

    > The method to overcome this difficulty is below:
    > 1. The Attester measures each file before execution, extends the hash
    > value of the file into PCR, and records the measurement information of
    > the file in the log.

Does the Attester measure the files in a deterministic order?

    > 2. When doing the remote attestation, the Attester sends the final
    > values of the PCRs and the detailed logs to the Verifier.

I remember this discussion.

    > 3. The Verifier has a list of reference values for all files. It
    > compares the hash value of each file recorded in the log with the
    > corresponding reference value. If all files' hash values match with
    > their reference values, then the Verifier extends the hash values one
    > by one according to the order recorded in the log, gets the final
    > value, and compares the final value with the PCR value sent by the
    > Attester.

Why not impose some canonical ordering (even alphabetical) to how the files
are recorded into the PCR, regardless of the order they are executed?

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