An Information Model for Behavioural Description of Firmware Update and Related Operations
draft-moran-suit-behavioural-manifest-01

• Status
• IESG evaluation record
• IESG writeups
• Email expansions
• History

• Versions
• 00
• 01

SUIT                                                            B. Moran
Internet-Draft                                                   T. Ibbs
Intended status: Informational                               G. Psimenos
Expires: September 12, 2019                                  ARM Limited
                                                          March 11, 2019

An Information Model for Behavioural Description of Firmware Update and
                           Related Operations
                draft-moran-suit-behavioural-manifest-01

Abstract

   This specification describes an approach to formally defining the
   behaviour of a system under firmware update and secure boot
   conditions.  The behavioural documents described here can be used
   with [Information] to construct a firmware update manifest.

Status of This Memo

   This Internet-Draft is submitted in full conformance with the
   provisions of BCP 78 and BCP 79.

   Internet-Drafts are working documents of the Internet Engineering
   Task Force (IETF).  Note that other groups may also distribute
   working documents as Internet-Drafts.  The list of current Internet-
   Drafts is at https://datatracker.ietf.org/drafts/current/.

   Internet-Drafts are draft documents valid for a maximum of six months
   and may be updated, replaced, or obsoleted by other documents at any
   time.  It is inappropriate to use Internet-Drafts as reference
   material or to cite them other than as "work in progress."

   This Internet-Draft will expire on September 12, 2019.

Copyright Notice

   Copyright (c) 2019 IETF Trust and the persons identified as the
   document authors.  All rights reserved.

   This document is subject to BCP 78 and the IETF Trust's Legal
   Provisions Relating to IETF Documents
   (https://trustee.ietf.org/license-info) in effect on the date of
   publication of this document.  Please review these documents
   carefully, as they describe your rights and restrictions with respect
   to this document.  Code Components extracted from this document must
   include Simplified BSD License text as described in Section 4.e of

Moran, et al.          Expires September 12, 2019               [Page 1]
Internet-DraftBehavioural description of Firwmware Updates    March 2019

   the Trust Legal Provisions and are provided without warranty as
   described in the Simplified BSD License.

   This document may contain material from IETF Documents or IETF
   Contributions published or made publicly available before November
   10, 2008.  The person(s) controlling the copyright in some of this
   material may not have granted the IETF Trust the right to allow
   modifications of such material outside the IETF Standards Process.
   Without obtaining an adequate license from the person(s) controlling
   the copyright in such materials, this document may not be modified
   outside the IETF Standards Process, and derivative works of it may
   not be created outside the IETF Standards Process, except to format
   it for publication as an RFC or to translate it into languages other
   than English.

Table of Contents

   1.  Introduction  . . . . . . . . . . . . . . . . . . . . . . . .   3
   2.  Conventions and Terminology . . . . . . . . . . . . . . . . .   3
   3.  Design Principles of the Behavioural Manifest . . . . . . . .   4
   4.  Structure of a behavioural manifest . . . . . . . . . . . . .   5
     4.1.  Processing Steps  . . . . . . . . . . . . . . . . . . . .   7
   5.  Commands  . . . . . . . . . . . . . . . . . . . . . . . . . .   7
     5.1.  Verify Recipient Identity . . . . . . . . . . . . . . . .   8
     5.2.  Verify Image Presence . . . . . . . . . . . . . . . . . .   9
     5.3.  Verify Component Properties . . . . . . . . . . . . . . .   9
     5.4.  Verify System Properties  . . . . . . . . . . . . . . . .   9
     5.5.  Verify 3rd-party Authorisation  . . . . . . . . . . . . .   9
     5.6.  Process sub-behaviours  . . . . . . . . . . . . . . . . .   9
     5.7.  Process Dependencies  . . . . . . . . . . . . . . . . . .   9
     5.8.  Set Parameters  . . . . . . . . . . . . . . . . . . . . .  10
     5.9.  Move an Image . . . . . . . . . . . . . . . . . . . . . .  10
     5.10. Invoke an Image . . . . . . . . . . . . . . . . . . . . .  10
     5.11. Wait for an Event . . . . . . . . . . . . . . . . . . . .  10
   6.  Parameters  . . . . . . . . . . . . . . . . . . . . . . . . .  11
     6.1.  Strict Order  . . . . . . . . . . . . . . . . . . . . . .  11
     6.2.  Soft Failure  . . . . . . . . . . . . . . . . . . . . . .  11
     6.3.  Source List . . . . . . . . . . . . . . . . . . . . . . .  11
     6.4.  Processing Step Configurations  . . . . . . . . . . . . .  12
     6.5.  Image Identifier  . . . . . . . . . . . . . . . . . . . .  12
   7.  ACLs/permissions  . . . . . . . . . . . . . . . . . . . . . .  12
   8.  Workflows . . . . . . . . . . . . . . . . . . . . . . . . . .  13
   9.  Examples  . . . . . . . . . . . . . . . . . . . . . . . . . .  15