Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

For that reason, we believe the minimum should be what is mentioned at “1”. The rest is “just” software.

Objective#1 - DICE proof of concept, following the TCG specification

The first objective is about making an implementation for Armv8-A that follows the TCG specification. Since the TCG DICE specification only outlines DICE and the first two layers, this objective will be about adding the features to the BL1, BL2 and perhaps BL3.1.

We don’t mandate what device to use for this work, but it would probably make a lot of sense to base the work on a QEMU Armv8-A build, that runs TrustedFirmware-A, OP-TEE, U-Boot and Linux kernel with user space. We already have stripped down and small software stacks running that, for example the official OP-TEE QEMU v8 setup. The benefits with using a stack like that is that anyone can try it out, it doesn’t require additional hardware and it’s possible to debug all binaries.

Req#001 - BL1 runs DICE

This requirement is about implementing the DICE functionality into the code acting as mask ROM, that would be BL1 on an Armv8-A device. We don’t mandate how the handover of the CDI should be done, but we suggest to use transfer lists and transfer entries as suggested by the Firmware Handoff Specification.

Acceptance criteria:
At reset, BL1 reads the UDS, measure BL2 and compute the CDI according to section “6.4 DICE Operation”. The CDI should be handed over to BL2, ready to be used by BL2.

...

Priority

...

Description

...

Jira

...

Must have:

...

  • Hash (sha-256 or better) based CDI.

  • Ability to generate a hash (sha-256 or better) of the BL2 code.

  • UDS should not be accessible by BL2.

  • Only BL2 should be able to access the CDI, i.e., Bl3.1 and later boot stages should never get access to the CDI coming from BL1.

Jira Legacy
serverSystem JIRA
columnskey,summary,status
columnIdsissuekey,summary,status
maximumIssues20
jqlQuerysummary ~ "DICE" OR description ~ "DICE"
serverId59107c6f-1e52-32bc-b58f-400d54bba998

...

Nice to have:

...

  • HMAC based CDI.

  • Debug support, where the UDS is just zeroes.

...

Not in scope:

...

  • Other extensions, like the Google Open Profile for DICE.

...

Suggested plan for enabling a DICE chain on AArch64 / Armv8-A

Since there are a lots of open questions, we suggest that we try to do a couple of things in parallel. We suggest that we shall start working on implementing support for DICE in Trusted Firmware-A according to the TCG DICE Specification. That would should be pretty straightforward. That is Objective#1 below.

After that we suggest that move the DICE code we’ve added to BL2 and run that in a separate boot stage that we call BL1.5. That would give us a separate layer dealing with device identity, that should stay the same throughout the lifetime of the device. That is Objective#2 below.

Objective#1 - DICE proof of concept, following the TCG specification

The first objective is about making an implementation for Armv8-A that follows the TCG specification. Since the TCG DICE specification only outlines DICE and the first two layers, this objective will be about adding the features to the BL1, BL2 and perhaps BL3.1.

We don’t mandate what device to use for this work, but it would probably make a lot of sense to base the work on a QEMU Armv8-A build, that runs TrustedFirmware-A, OP-TEE, U-Boot and Linux kernel with user space. We already have stripped down and small software stacks running that, for example the official OP-TEE QEMU v8 setup. The benefits with using a stack like that is that anyone can try it out, it doesn’t require additional hardware and it’s possible to debug all binaries.

Req#001 - BL1 runs DICE

This requirement is about implementing the DICE functionality into the code acting as mask ROM, that would be BL1 on an Armv8-A device. We don’t mandate how the handover of the CDI should be done, but we suggest to use transfer lists and transfer entries as suggested by the Firmware Handoff Specification.

Acceptance criteria:
At reset, BL1 reads the UDS, measure BL2 and compute the CDI according to section “6.4 DICE Operation”. The CDI should be handed over to BL2, ready to be used by BL2.

Priority

Description

Jira

1

Must have:

  • Hash (sha-256 or better) based CDI.

  • Ability to generate a hash (sha-256 or better) of the BL2 code.

  • UDS should not be accessible by BL2.

  • Only BL2 should be able to access the CDI, i.e., Bl3.1 and later boot stages should never get access to the CDI coming from BL1.

Jira Legacy
serverSystem JIRA
columnskey,summary,status
columnIdsissuekey,summary,status
maximumIssues20
jqlQuerysummary ~ "DICE" OR description ~ "DICE"
serverId59107c6f-1e52-32bc-b58f-400d54bba998

2

Nice to have:

  • HMAC based CDI.

  • Debug support, where the UDS is just zeroes.

3

Not in scope:

  • Other extensions, like the Google Open Profile for DICE.

Req#002 - BL2 shall derive and hand over Device ID key-pair and certificate

This requirement is a continuation of Req#001. The goal with this requirement is to make sure that we can derive the Device ID public and private key pair, create the Device ID certificate and make it available to to BL2. Since this is solely about the Device ID key, there is no need to read and hash Bl3.1 (something that will be needed when generating Alias key-pairs).

Acceptance criteria:
BL2 shall be able to take the CDI from BL1, generate a Device ID key-pair and Device ID certificates, according to section “5. Architecture”. The Device ID public key and certificate should be passed to BL3.1.

Priority

Description

Jira

1

Must have:

  • CDI as given by BL1 must be used to generate the Device ID key-pair.

  • Device ID key-pair should be based on ED25519.

  • The device generated Device ID public key should be used when creating the Device ID certificate.

  • The Device ID public key should be handed over to BL3.1.

  • The Device ID certificate should be handed over to BL3.1.

  • CDI and the Device ID private key should never be accessible by BL3.1.

2

Nice to have:

3

Not in scope:

  • Alias key pair generation

  • Other extensions, like the Google Open Profile for DICE.

Req#003 - BL2 shall derive the Alias key-pair and hand it over to BL3.1

This requirement is a continuation of Req#001. The goal with this requirement is to make sure that we can derive the Device ID Alias public and private key pair, create the Device ID certificate and make it available to to BL2. Since this is solely about the Device ID key, there is no need to read and hash Bl3.1 (something that will be needed when generating Alias key-pairs). This should involve measuring BL3.1, which in addition to the CDI is taken as an input to the Alias Key generation.

Acceptance criteria:
BL2 shall be able to take the CDI from BL1, generate a Device ID Alias key-pair and Device ID certificates, according to section “5. Architecture”. The Device ID public key and certificate Alias key-pair should be passed to BL3.1.

Priority

Description

Jira

1

Must have:

  • CDI as given by BL1 must be used to generate the

Device ID
  • Alias key-pair.

  • The measurement of BL3.1 must be used to generate the Alias key-pair.

Device ID
  • The Alias key-pair should be based on ED25519.

  • The

device generated Device ID public key should be used when creating the Device ID certificate.The Device ID public key should be
  • Alias key-pair should be handed over to BL3.1.

  • The

Device ID certificate
  • CDI should never be

handed over to
  • accessible by BL3.1.

CDI and the Device ID private key should never be accessible by

2

Nice to have:

  • Firmware Security Descriptor support which complements purely hash based measurement of the BL3.1.

2Nice to have:

3

Not in scope:

  • Alias key

pair
  • certificate generation

  • Other extensions, like the Google Open Profile for DICE.

...

Req#004 - BL2 shall

...

create the Alias key

...

certificate and hand it over to BL3.1

This requirement is a continuation of Req#001Req#003. The goal with this requirement is to make sure that we can derive the Alias public and private key pair. This should involve measuring BL3.1, which in addition to the CDI is taken as an input to the Alias Key generation.Acceptance criteria:
BL2 shall be able to take the CDI from BL1, generate a Alias key-pair, according to section “5. Architecture”. The Alias key-pair should be passed create the Alias key certificate. This should involve the previously generated Alias Key and Device ID key.

Acceptance criteria:
The Alias Key Certificate shall be generated according to “5. Architecture”. The Alias key certificate should be passed to BL3.1.

Priority

Description

Jira

1

Must have:

  • Alias Key is use as input to the generation for the Alias key certificate.

  • Device ID Key is use as input to the generation for the Alias key certificate.

  • The Alias key certificate should be handed over to BL3.1.

Priority

Description

Jira

1

Must have:

  • CDI as given by BL1 must be used to generate the Alias key-pair.

  • The measurement of BL3.1 must be used to generate the Alias key-pair.

  • The Alias key-pair should be based on ED25519.

  • The Alias key-pair should be handed over to BL3.1.

  • The CDI should never be accessible by BL3.1.

2

Nice to have:

  • Firmware Security Descriptor support which complements purely hash based measurement of the BL3.1.

3

Not in scope:

  • Alias key certificate generation

  • Other extensions, like the Google Open Profile for DICE.

Req#004 - BL2 shall create the Alias key certificate and hand it over to BL3.1

This requirement is a continuation of Req#003. The goal with this requirement is to make sure that we can create the Alias key certificate. This should involve the previously generated Alias Key and Device ID key.

Acceptance criteria:
The Alias Key Certificate shall be generated according to “5. Architecture”. The Alias key certificate should be passed to BL3.1.

...

Priority

...

Description

...

Jira

...

Must have:

...

  • Alias Key is use as input to the generation for the Alias key certificate.

  • Device ID Key is use as input to the generation for the Alias key certificate.

  • The Alias key certificate should be handed over to BL3.1.

...

Nice to have:

...

Not in scope:

...

  • Other extensions, like the Google Open Profile for DICE.

Objective#2 - DICE Layer 0 running BL1.5

...

2

Nice to have:

3

Not in scope:

  • Other extensions, like the Google Open Profile for DICE.

Objective#2 - DICE Layer 0 running BL1.5

This objective is about moving out the DICE code previously running at BL2 to instead run in a new bootstage that we call BL1.5. In this layer should solely focus on the doing the DICE operations as specified in “5. Architecture”. By doing so, we should have a bootstage that will never need to be changed during the device's lifetime. I.e., the DeviceID would stay intact throughout the lifetime of the device.

Req#005 - BL1.5 should provide DICE features previously done by BL2

Functionality wise, this shall offer the same features as BL2 provided after completing Req#001, 2, 3 and 4. BL1.5 shouldn’t contain BL2 code. I.e., BL1.5 should just be an intermediate step doing DICE operations before handing over to BL2.

Acceptance criteria:

  • A new BL1.5 has been introduced.

  • BL1.5 creates the Alias keys and certificates and also creates Device ID keys and certificate.

  • The Alias key-pair, Alias certificate, Device ID public key and the Device ID certificate should be passed to BL2.

Priority

Description

Jira

1

Must have:

  • Alias Key is use as input to the generation for the Alias key certificate.

  • Device ID Key is use as input to the generation for the Alias key certificate.

  • The Alias key certificate should be handed over to BL3.1.

2

Nice to have:

3

Not in scope:

  • Other extensions, like the Google Open Profile for DICE.

\uD83D\uDDD3 Timeline

Roadmap Planner
maplinks
timelinetrue
source%7B%22title%22%3A%22Roadmap%20Planner%22%2C%22timeline%22%3A%7B%22startDate%22%3A%222023-08-31%2000%3A00%3A00%22%2C%22endDate%22%3A%222024-06-15%2000%3A00%3A00%22%2C%22displayOption%22%3A%22MONTH%22%7D%2C%22lanes%22%3A%5B%7B%22title%22%3A%22DICE%20PoC%22%2C%22color%22%3A%7B%22lane%22%3A%22%23d04437%22%2C%22bar%22%3A%22%23dc7369%22%2C%22text%22%3A%22%23ffffff%22%2C%22count%22%3A1%7D%2C%22bars%22%3A%5B%7B%22rowIndex%22%3A0%2C%22startDate%22%3A%222023-09-03%2022%3A35%3A54%22%2C%22id%22%3A%22631befe7-a104-4bfb-b957-68b76a530cd6%22%2C%22title%22%3A%22Req%23001%20-%20BL1%20DICE%22%2C%22description%22%3A%22%22%2C%22duration%22%3A0.9683562574257425%2C%22pageLink%22%3A%7B%7D%7D%2C%7B%22rowIndex%22%3A1%2C%22startDate%22%3A%222023-09-30%2023%3A17%3A27%22%2C%22id%22%3A%22dec67d39-8f20-492a-85e2-5c4791421824%22%2C%22title%22%3A%22Req%23002%20-%20BL2%20DeviceID%22%2C%22description%22%3A%22%22%2C%22duration%22%3A1.3840810099009901%2C%22pageLink%22%3A%7B%7D%7D%2C%7B%22rowIndex%22%3A2%2C%22startDate%22%3A%222023-10-16%2006%3A09%3A40%22%2C%22id%22%3A%2265bd6b34-5c88-42bd-ad3b-f5b7e386b4a0%22%2C%22title%22%3A%22Req%23003%20-%20BL2%20Alias%20Keypair%22%2C%22description%22%3A%22%22%2C%22duration%22%3A1.136700811881188%2C%22pageLink%22%3A%7B%7D%7D%2C%7B%22rowIndex%22%3A3%2C%22startDate%22%3A%222023-11-20%2005%3A19%3A14%22%2C%22id%22%3A%22f65e61f3-4bb0-4889-a5c3-c91d8197d4cb%22%2C%22title%22%3A%22Req%23004%20-%20Certificate%22%2C%22description%22%3A%22%22%2C%22duration%22%3A1%2C%22pageLink%22%3A%7B%7D%7D%5D%7D%2C%7B%22title%22%3A%22New%20Lane%22%2C%22color%22%3A%7B%22lane%22%3A%22%23f6c342%22%2C%22bar%22%3A%22%23fadb8e%22%2C%22text%22%3A%22%23594300%22%2C%22count%22%3A1%7D%2C%22bars%22%3A%5B%7B%22rowIndex%22%3A0%2C%22startDate%22%3A%222023-12-21%2012%3A06%3A02%22%2C%22id%22%3A%225a97c107-0100-4f2b-8c01-e5138040b376%22%2C%22title%22%3A%22Req%23005%20-%20Create%20BL1%22%2C%22description%22%3A%22%22%2C%22duration%22%3A1%2C%22pageLink%22%3A%7B%7D%7D%5D%7D%5D%2C%22markers%22%3A%5B%7B%22title%22%3A%22Marker%201%22%2C%22markerDate%22%3A%222018-10-05%2007%3A07%3A43%22%7D%2C%7B%22markerDate%22%3A%222019-03-15%2000%3A00%3A00%22%2C%22title%22%3A%22Marker%22%7D%5D%7D
pagelinks
titleRoadmap%20Planner
hash89029d03639c779ab1444ee85da04fe1

...