blob: 74443db23a5444f3b8d451b2658995eaa91f3169 [file] [log] [blame] [view]
Fabio Utzigcdfa11a2018-10-01 09:45:54 -03001<!--
David Vincze4e3c47b2020-04-21 17:11:33 +02002 -
3 - Licensed to the Apache Software Foundation (ASF) under one
4 - or more contributor license agreements. See the NOTICE file
5 - distributed with this work for additional information
6 - regarding copyright ownership. The ASF licenses this file
7 - to you under the Apache License, Version 2.0 (the
8 - "License"); you may not use this file except in compliance
9 - with the License. You may obtain a copy of the License at
10 -
11 - http://www.apache.org/licenses/LICENSE-2.0
12 -
13 - Unless required by applicable law or agreed to in writing,
14 - software distributed under the License is distributed on an
15 - "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
16 - KIND, either express or implied. See the License for the
17 - specific language governing permissions and limitations
18 - under the License.
19 -
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030020-->
21
Ruth Fuchss721cdbc2019-11-01 15:24:39 +010022# Encrypted images
23
Fabio Utzig478ad242019-11-26 08:32:19 -030024## [Rationale](#rationale)
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030025
26To provide confidentiality of image data while in transport to the
27device or while residing on an external flash, `MCUBoot` has support
28for encrypting/decrypting images on-the-fly while upgrading.
29
30The image header needs to flag this image as `ENCRYPTED` (0x04) and
31a TLV with the key must be present in the image. When upgrading the
David Vincze2d736ad2019-02-18 11:50:22 +010032image from the `secondary slot` to the `primary slot` it is automatically
33decrypted (after validation). If swap upgrades are enabled, the image
34located in the `primary slot`, also having the `ENCRYPTED` flag set and the
35TLV present, is re-encrypted while swapping to the `secondary slot`.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030036
Fabio Utzig478ad242019-11-26 08:32:19 -030037## [Threat model](#threat-model)
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030038
39The encrypted image support is supposed to allow for confidentiality
40if the image is not residing on the device or is written to external
David Vincze2d736ad2019-02-18 11:50:22 +010041storage, eg a SPI flash being used for the secondary slot.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030042
43It does not protect against the possibility of attaching a JTAG and
44reading the internal flash memory, or using some attack vector that
45enables dumping the internal flash in any way.
46
Sam Bristowd0ca0ff2019-10-30 20:51:35 +130047Since decrypting requires a private key (or secret if using symmetric
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030048crypto) to reside inside the device, it is the responsibility of the
49device manufacturer to guarantee that this key is already in the device
50and not possible to extract.
51
Fabio Utzig478ad242019-11-26 08:32:19 -030052## [Design](#design)
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030053
54When encrypting an image, only the payload (FW) is encrypted. The header,
55TLVs are still sent as plain data.
56
57Hashing and signing also remain functionally the same way as before,
58applied over the un-encrypted data. Validation on encrypted images, checks
59that the encrypted flag is set and TLV data is OK, then it decrypts each
60image block before sending the data to the hash routines.
61
62The image is encrypted using AES-CTR-128, with a counter that starts
63from zero (over the payload blocks) and increments by 1 for each 16-byte
64block. AES-CTR-128 was chosen for speed/simplicity and allowing for any
65block to be encrypted/decrypted without requiring knowledge of any other
66block (allowing for simple resume operations on swap interruptions).
67
68The key used is a randomized when creating a new image, by `imgtool` or
69`newt`. This key should never be reused and no checks are done for this,
70but randomizing a 16-byte block with a TRNG should make it highly
71improbable that duplicates ever happen.
72
73To distribute this AES-CTR-128 key, new TLVs were defined. The key can be
Fabio Utzig5eaa5762020-04-02 13:30:43 -030074encrypted using either RSA-OAEP, AES-KW-128, ECIES-P256 or ECIES-X25519.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -030075
76For RSA-OAEP a new TLV with value `0x30` is added to the image, for
Fabio Utzig5eaa5762020-04-02 13:30:43 -030077AES-KW-128 a new TLV with value `0x31` is added to the image, for
78ECIES-P256 a new TLV with value `0x32` is added, and for ECIES-X25519 a
79newt TLV with value `0x33` is added. The contents of those TLVs
Fabio Utzigb3f058c2019-10-30 10:51:06 -030080are the results of applying the given operations over the AES-CTR-128 key.
81
Fabio Utzig5eaa5762020-04-02 13:30:43 -030082## [ECIES encryption](#ecies-encryption)
Fabio Utzigb3f058c2019-10-30 10:51:06 -030083
84ECIES follows a well defined protocol to generate an encryption key. There are
85multiple standards which differ only on which building blocks are used; for
86MCUBoot we settled on some primitives that are easily found on our crypto
87libraries. The whole key encryption can be summarized as:
88
Fabio Utzig5eaa5762020-04-02 13:30:43 -030089* Generate a new private key and derive the public key; when using ECIES-P256
90 this is a secp256r1 keypair, when using ECIES-X25519 this will be a x25519
91 keypair. Those keys will be our ephemeral keys.
Fabio Utzigb3f058c2019-10-30 10:51:06 -030092* Generate a new secret (DH) using the ephemeral private key and the public key
93 that corresponds to the private key embedded in the HW.
94* Derive the new keys from the secret using HKDF (built on HMAC-SHA256). We
95 are not using a `salt` and using an `info` of `MCUBoot_ECIES_v1`, generating
96 48 bytes of key material.
97* A new random encryption key of 16 bytes is generated (for AES-128). This is
98 the AES key used to encrypt the images.
99* The key is encrypted with AES-128-CTR and a `nonce` of 0 using the first
100 16 bytes of key material generated previously by the HKDF.
101* The encrypted key now goes through a HMAC-SHA256 using the remaining 32
102 bytes of key material from the HKDF.
103
Fabio Utzig5eaa5762020-04-02 13:30:43 -0300104The final TLV is built from the 65 bytes for ECIES-P256 or 32 bytes for
105ECIES-X25519, which correspond to the ephemeral public key, followed by the
10632 bytes of MAC tag and the 16 bytes of the encrypted key, resulting in a TLV
107of 113 bytes for ECIES-P256 or 80 bytes for ECIES-X25519.
Fabio Utzigb3f058c2019-10-30 10:51:06 -0300108
Fabio Utzig5eaa5762020-04-02 13:30:43 -0300109The implemenation of ECIES-P256 is named ENC_EC256 in the source code and
110artifacts while ECIES-X25519 is named ENC_X25519.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300111
Fabio Utzig478ad242019-11-26 08:32:19 -0300112## [Upgrade process](#upgrade-process)
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300113
David Vincze2d736ad2019-02-18 11:50:22 +0100114When starting a new upgrade process, `MCUBoot` checks that the image in the
115`secondary slot` has the `ENCRYPTED` flag set and has the required TLV with the
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300116encrypted key. It then uses its internal private/secret key to decrypt
117the TLV containing the key. Given that no errors are found, it will then
118start the validation process, decrypting the blocks before check. A good
119image being determined, the upgrade consists in reading the blocks from
David Vincze2d736ad2019-02-18 11:50:22 +0100120the `secondary slot`, decrypting and writing to the `primary slot`.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300121
122If swap is used for the upgrade process, the encryption happens when
David Vincze2d736ad2019-02-18 11:50:22 +0100123copying the sectors of the `secondary slot` to the scratch area.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300124
125The `scratch` area is not encrypted, so it must reside in the internal
126flash of the MCU to avoid attacks that could interrupt the upgrade and
127dump the data.
128
David Vincze2d736ad2019-02-18 11:50:22 +0100129Also when swap is used, the image in the `primary slot` is checked for
130presence of the `ENCRYPTED` flag and the key TLV. If those are present the
131sectors are re-encrypted when copying from the `primary slot` to
132the `secondary slot`.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300133
134PS: Each encrypted image must have its own key TLV that should be unique
135and used only for this particular image.
136
137Also when swap method is employed, the sizes of both images are saved to
138the status area just before starting the upgrade process, because it
139would be very hard to determine this information when an interruption
140occurs and the information is spread across multiple areas.
141
Fabio Utzig478ad242019-11-26 08:32:19 -0300142## [Creating your keys with imgtool](#creating-your-keys-with-imgtool)
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300143
Harry Jiang68281512020-07-06 16:12:02 +0800144`imgtool` can generate keys by using `imgtool keygen -k <output.pem> -t <type>`,
Fabio Utzigb3f058c2019-10-30 10:51:06 -0300145 where type can be one of `rsa-2048`, `rsa-3072`, `ecdsa-p256`, `ecdsa-p224`
146or `ed25519`. This will generate a keypair or private key.
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300147
Fabio Utzigb3f058c2019-10-30 10:51:06 -0300148To extract the public key in source file form, use
149`imgtool getpub -k <input.pem> -l <lang>`, where lang can be one of `c` or
150`rust` (defaults to `c`).
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300151
Fabio Utzigb3f058c2019-10-30 10:51:06 -0300152If using AES-KW-128, follow the steps in the next section to generate the
153required keys.
154
Fabio Utzig478ad242019-11-26 08:32:19 -0300155## [Creating your keys with Unix tooling](#creating-your-keys-with-unix-tooling)
Fabio Utzigb3f058c2019-10-30 10:51:06 -0300156
157* If using RSA-OAEP, generate a keypair following steps similar to those
158 described in [signed_images](signed_images.md) to create RSA keys.
159* If using ECIES-P256, generate a keypair following steps similar to those
160 described in [signed_images](signed_images.md) to create ECDSA256 keys.
Fabio Utzig5eaa5762020-04-02 13:30:43 -0300161* If using ECIES-X25519, generate a private key passing the option `-t x25519`
162 to `imgtool keygen` command. To generate public key PEM file the following
163 command can be used: `openssl pkey -in <generated-private-key.pem> -pubout`
Fabio Utzigcdfa11a2018-10-01 09:45:54 -0300164* If using AES-KW-128 (`newt` only), the `kek` can be generated with a
165 command like `dd if=/dev/urandom bs=1 count=16 | base64 > my_kek.b64`