|
|
bafb64 |
% container-signature 5 Container signature format
|
|
|
a415a1 |
% Miloslav Trmač
|
|
|
a415a1 |
% March 2017
|
|
|
a415a1 |
|
|
|
bafb64 |
# NAME
|
|
|
bafb64 |
container-signature - Container signature format
|
|
|
a415a1 |
|
|
|
bafb64 |
# DESCRIPTION
|
|
|
a415a1 |
This document describes the format of container signatures,
|
|
|
a415a1 |
as implemented by the `github.com/containers/image/signature` package.
|
|
|
a415a1 |
|
|
|
a415a1 |
Most users should be able to consume these signatures by using the `github.com/containers/image/signature` package
|
|
|
a415a1 |
(preferably through the higher-level `signature.PolicyContext` interface)
|
|
|
a415a1 |
without having to care about the details of the format described below.
|
|
|
a415a1 |
This documentation exists primarily for maintainers of the package
|
|
|
a415a1 |
and to allow independent reimplementations.
|
|
|
a415a1 |
|
|
|
a415a1 |
## High-level overview
|
|
|
a415a1 |
|
|
|
a415a1 |
The signature provides an end-to-end authenticated claim that a container image
|
|
|
a415a1 |
has been approved by a specific party (e.g. the creator of the image as their work,
|
|
|
a415a1 |
an automated build system as a result of an automated build,
|
|
|
a415a1 |
a company IT department approving the image for production) under a specified _identity_
|
|
|
a415a1 |
(e.g. an OS base image / specific application, with a specific version).
|
|
|
a415a1 |
|
|
|
a415a1 |
A container signature consists of a cryptographic signature which identifies
|
|
|
a415a1 |
and authenticates who signed the image, and carries as a signed payload a JSON document.
|
|
|
a415a1 |
The JSON document identifies the image being signed, claims a specific identity of the
|
|
|
a415a1 |
image and if applicable, contains other information about the image.
|
|
|
a415a1 |
|
|
|
a415a1 |
The signatures do not modify the container image (the layers, configuration, manifest, …);
|
|
|
a415a1 |
e.g. their presence does not change the manifest digest used to identify the image in
|
|
|
a415a1 |
docker/distribution servers; rather, the signatures are associated with an immutable image.
|
|
|
a415a1 |
An image can have any number of signatures so signature distribution systems SHOULD support
|
|
|
a415a1 |
associating more than one signature with an image.
|
|
|
a415a1 |
|
|
|
a415a1 |
## The cryptographic signature
|
|
|
a415a1 |
|
|
|
a415a1 |
As distributed, the container signature is a blob which contains a cryptographic signature
|
|
|
a415a1 |
in an industry-standard format, carrying a signed JSON payload (i.e. the blob contains both the
|
|
|
a415a1 |
JSON document and a signature of the JSON document; it is not a “detached signature” with
|
|
|
a415a1 |
independent blobs containing the JSON document and a cryptographic signature).
|
|
|
a415a1 |
|
|
|
a415a1 |
Currently the only defined cryptographic signature format is an OpenPGP signature (RFC 4880),
|
|
|
a415a1 |
but others may be added in the future. (The blob does not contain metadata identifying the
|
|
|
a415a1 |
cryptographic signature format. It is expected that most formats are sufficiently self-describing
|
|
|
a415a1 |
that this is not necessary and the configured expected public key provides another indication
|
|
|
a415a1 |
of the expected cryptographic signature format. Such metadata may be added in the future for
|
|
|
a415a1 |
newly added cryptographic signature formats, if necessary.)
|
|
|
a415a1 |
|
|
|
a415a1 |
Consumers of container signatures SHOULD verify the cryptographic signature
|
|
|
a415a1 |
against one or more trusted public keys
|
|
|
a415a1 |
(e.g. defined in a [policy.json signature verification policy file](containers-policy.json.5.md))
|
|
|
a415a1 |
before parsing or processing the JSON payload in _any_ way,
|
|
|
a415a1 |
in particular they SHOULD stop processing the container signature
|
|
|
a415a1 |
if the cryptographic signature verification fails, without even starting to process the JSON payload.
|
|
|
a415a1 |
|
|
|
a415a1 |
(Consumers MAY extract identification of the signing key and other metadata from the cryptographic signature,
|
|
|
a415a1 |
and the JSON payload, without verifying the signature, if the purpose is to allow managing the signature blobs,
|
|
|
a415a1 |
e.g. to list the authors and image identities of signatures associated with a single container image;
|
|
|
a415a1 |
if so, they SHOULD design the output of such processing to minimize the risk of users considering the output trusted
|
|
|
a415a1 |
or in any way usable for making policy decisions about the image.)
|
|
|
a415a1 |
|
|
|
a415a1 |
### OpenPGP signature verification
|
|
|
a415a1 |
|
|
|
a415a1 |
When verifying a cryptographic signature in the OpenPGP format,
|
|
|
a415a1 |
the consumer MUST verify at least the following aspects of the signature
|
|
|
a415a1 |
(like the `github.com/containers/image/signature` package does):
|
|
|
a415a1 |
|
|
|
a415a1 |
- The blob MUST be a “Signed Message” as defined RFC 4880 section 11.3.
|
|
|
a415a1 |
(e.g. it MUST NOT be an unsigned “Literal Message”, or any other non-signature format).
|
|
|
a415a1 |
- The signature MUST have been made by an expected key trusted for the purpose (and the specific container image).
|
|
|
a415a1 |
- The signature MUST be correctly formed and pass the cryptographic validation.
|
|
|
a415a1 |
- The signature MUST correctly authenticate the included JSON payload
|
|
|
a415a1 |
(in particular, the parsing of the JSON payload MUST NOT start before the complete payload has been cryptographically authenticated).
|
|
|
a415a1 |
- The signature MUST NOT be expired.
|
|
|
a415a1 |
|
|
|
a415a1 |
The consumer SHOULD have tests for its verification code which verify that signatures failing any of the above are rejected.
|
|
|
a415a1 |
|
|
|
a415a1 |
## JSON processing and forward compatibility
|
|
|
a415a1 |
|
|
|
a415a1 |
The payload of the cryptographic signature is a JSON document (RFC 7159).
|
|
|
a415a1 |
Consumers SHOULD parse it very strictly,
|
|
|
a415a1 |
refusing any signature which violates the expected format (e.g. missing members, incorrect member types)
|
|
|
a415a1 |
or can be interpreted ambiguously (e.g. a duplicated member in a JSON object).
|
|
|
a415a1 |
|
|
|
a415a1 |
Any violations of the JSON format or of other requirements in this document MAY be accepted if the JSON document can be recognized
|
|
|
a415a1 |
to have been created by a known-incorrect implementation (see [`optional.creator`](#optionalcreator) below)
|
|
|
a415a1 |
and if the semantics of the invalid document, as created by such an implementation, is clear.
|
|
|
a415a1 |
|
|
|
a415a1 |
The top-level value of the JSON document MUST be a JSON object with exactly two members, `critical` and `optional`,
|
|
|
a415a1 |
each a JSON object.
|
|
|
a415a1 |
|
|
|
a415a1 |
The `critical` object MUST contain a `type` member identifying the document as a container signature
|
|
|
a415a1 |
(as defined [below](#criticaltype))
|
|
|
a415a1 |
and signature consumers MUST reject signatures which do not have this member or in which this member does not have the expected value.
|
|
|
a415a1 |
|
|
|
a415a1 |
To ensure forward compatibility (allowing older signature consumers to correctly
|
|
|
a415a1 |
accept or reject signatures created at a later date, with possible extensions to this format),
|
|
|
a415a1 |
consumers MUST reject the signature if the `critical` object, or _any_ of its subobjects,
|
|
|
a415a1 |
contain _any_ member or data value which is unrecognized, unsupported, invalid, or in any other way unexpected.
|
|
|
a415a1 |
At a minimum, this includes unrecognized members in a JSON object, or incorrect types of expected members.
|
|
|
a415a1 |
|
|
|
a415a1 |
For the same reason, consumers SHOULD accept any members with unrecognized names in the `optional` object,
|
|
|
a415a1 |
and MAY accept signatures where the object member is recognized but unsupported, or the value of the member is unsupported.
|
|
|
a415a1 |
Consumers still SHOULD reject signatures where a member of an `optional` object is supported but the value is recognized as invalid.
|
|
|
a415a1 |
|
|
|
a415a1 |
## JSON data format
|
|
|
a415a1 |
|
|
|
a415a1 |
An example of the full format follows, with detailed description below.
|
|
|
a415a1 |
To reiterate, consumers of the signature SHOULD perform successful cryptographic verification,
|
|
|
a415a1 |
and MUST reject unexpected data in the `critical` object, or in the top-level object, as described above.
|
|
|
a415a1 |
|
|
|
a415a1 |
```json
|
|
|
a415a1 |
{
|
|
|
a415a1 |
"critical": {
|
|
|
a415a1 |
"type": "atomic container signature",
|
|
|
a415a1 |
"image": {
|
|
|
a415a1 |
"docker-manifest-digest": "sha256:817a12c32a39bbe394944ba49de563e085f1d3c5266eb8e9723256bc4448680e"
|
|
|
a415a1 |
},
|
|
|
a415a1 |
"identity": {
|
|
|
a415a1 |
"docker-reference": "docker.io/library/busybox:latest"
|
|
|
a415a1 |
}
|
|
|
a415a1 |
},
|
|
|
a415a1 |
"optional": {
|
|
|
a415a1 |
"creator": "some software package v1.0.1-35",
|
|
|
a415a1 |
"timestamp": 1483228800,
|
|
|
a415a1 |
}
|
|
|
a415a1 |
}
|
|
|
a415a1 |
```
|
|
|
a415a1 |
|
|
|
a415a1 |
### `critical`
|
|
|
a415a1 |
|
|
|
a415a1 |
This MUST be a JSON object which contains data critical to correctly evaluating the validity of a signature.
|
|
|
a415a1 |
|
|
|
a415a1 |
Consumers MUST reject any signature where the `critical` object contains any unrecognized, unsupported, invalid or in any other way unexpected member or data.
|
|
|
a415a1 |
|
|
|
a415a1 |
### `critical.type`
|
|
|
a415a1 |
|
|
|
a415a1 |
This MUST be a string with a string value exactly equal to `atomic container signature` (three words, including the spaces).
|
|
|
a415a1 |
|
|
|
a415a1 |
Signature consumers MUST reject signatures which do not have this member or this member does not have exactly the expected value.
|
|
|
a415a1 |
|
|
|
a415a1 |
(The consumers MAY support signatures with a different value of the `type` member, if any is defined in the future;
|
|
|
a415a1 |
if so, the rest of the JSON document is interpreted according to rules defining that value of `critical.type`,
|
|
|
a415a1 |
not by this document.)
|
|
|
a415a1 |
|
|
|
a415a1 |
### `critical.image`
|
|
|
a415a1 |
|
|
|
a415a1 |
This MUST be a JSON object which identifies the container image this signature applies to.
|
|
|
a415a1 |
|
|
|
a415a1 |
Consumers MUST reject any signature where the `critical.image` object contains any unrecognized, unsupported, invalid or in any other way unexpected member or data.
|
|
|
a415a1 |
|
|
|
a415a1 |
(Currently only the `docker-manifest-digest` way of identifying a container image is defined;
|
|
|
a415a1 |
alternatives to this may be defined in the future,
|
|
|
a415a1 |
but existing consumers are required to reject signatures which use formats they do not support.)
|
|
|
a415a1 |
|
|
|
a415a1 |
### `critical.image.docker-manifest-digest`
|
|
|
a415a1 |
|
|
|
a415a1 |
This MUST be a JSON string, in the `github.com/opencontainers/go-digest.Digest` string format.
|
|
|
a415a1 |
|
|
|
a415a1 |
The value of this member MUST match the manifest of the signed container image, as implemented in the docker/distribution manifest addressing system.
|
|
|
a415a1 |
|
|
|
a415a1 |
The consumer of the signature SHOULD verify the manifest digest against a fully verified signature before processing the contents of the image manifest in any other way
|
|
|
a415a1 |
(e.g. parsing the manifest further or downloading layers of the image).
|
|
|
a415a1 |
|
|
|
a415a1 |
Implementation notes:
|
|
|
a415a1 |
* A single container image manifest may have several valid manifest digest values, using different algorithms.
|
|
|
a415a1 |
* For “signed” [docker/distribution schema 1](https://github.com/docker/distribution/blob/master/docs/spec/manifest-v2-1.md) manifests,
|
|
|
a415a1 |
the manifest digest applies to the payload of the JSON web signature, not to the raw manifest blob.
|
|
|
a415a1 |
|
|
|
a415a1 |
### `critical.identity`
|
|
|
a415a1 |
|
|
|
a415a1 |
This MUST be a JSON object which identifies the claimed identity of the image (usually the purpose of the image, or the application, along with a version information),
|
|
|
a415a1 |
as asserted by the author of the signature.
|
|
|
a415a1 |
|
|
|
a415a1 |
Consumers MUST reject any signature where the `critical.identity` object contains any unrecognized, unsupported, invalid or in any other way unexpected member or data.
|
|
|
a415a1 |
|
|
|
a415a1 |
(Currently only the `docker-reference` way of claiming an image identity/purpose is defined;
|
|
|
a415a1 |
alternatives to this may be defined in the future,
|
|
|
a415a1 |
but existing consumers are required to reject signatures which use formats they do not support.)
|
|
|
a415a1 |
|
|
|
a415a1 |
### `critical.identity.docker-reference`
|
|
|
a415a1 |
|
|
|
a415a1 |
This MUST be a JSON string, in the `github.com/docker/distribution/reference` string format,
|
|
|
a415a1 |
and using the same normalization semantics (where e.g. `busybox:latest` is equivalent to `docker.io/library/busybox:latest`).
|
|
|
a415a1 |
If the normalization semantics allows multiple string representations of the claimed identity with equivalent meaning,
|
|
|
a415a1 |
the `critical.identity.docker-reference` member SHOULD use the fully explicit form (including the full host name and namespaces).
|
|
|
a415a1 |
|
|
|
a415a1 |
The value of this member MUST match the image identity/purpose expected by the consumer of the image signature and the image
|
|
|
a415a1 |
(again, accounting for the `docker/distribution/reference` normalization semantics).
|
|
|
a415a1 |
|
|
|
a415a1 |
In the most common case, this means that the `critical.identity.docker-reference` value must be equal to the docker/distribution reference used to refer to or download the image.
|
|
|
a415a1 |
However, depending on the specific application, users or system administrators may accept less specific matches
|
|
|
a415a1 |
(e.g. ignoring the tag value in the signature when pulling the `:latest` tag or when referencing an image by digest),
|
|
|
a415a1 |
or they may require `critical.identity.docker-reference` values with a completely different namespace to the reference used to refer to/download the image
|
|
|
a415a1 |
(e.g. requiring a `critical.identity.docker-reference` value which identifies the image as coming from a supplier when fetching it from a company-internal mirror of approved images).
|
|
|
a415a1 |
The software performing this verification SHOULD allow the users to define such a policy using the [policy.json signature verification policy file format](containers-policy.json.5.md).
|
|
|
a415a1 |
|
|
|
a415a1 |
The `critical.identity.docker-reference` value SHOULD contain either a tag or digest;
|
|
|
a415a1 |
in most cases, it SHOULD use a tag rather than a digest. (See also the default [`matchRepoDigestOrExact` matching semantics in `policy.json`](containers-policy.json.5.md#signedby).)
|
|
|
a415a1 |
|
|
|
a415a1 |
### `optional`
|
|
|
a415a1 |
|
|
|
a415a1 |
This MUST be a JSON object.
|
|
|
a415a1 |
|
|
|
a415a1 |
Consumers SHOULD accept any members with unrecognized names in the `optional` object,
|
|
|
a415a1 |
and MAY accept a signature where the object member is recognized but unsupported, or the value of the member is valid but unsupported.
|
|
|
a415a1 |
Consumers still SHOULD reject any signature where a member of an `optional` object is supported but the value is recognized as invalid.
|
|
|
a415a1 |
|
|
|
a415a1 |
### `optional.creator`
|
|
|
a415a1 |
|
|
|
5f1c70 |
If present, this MUST be a JSON string, identifying the name and version of the software which has created the signature
|
|
|
5f1c70 |
(identifying the low-level software implementation; not the top-level caller).
|
|
|
a415a1 |
|
|
|
a415a1 |
The contents of this string is not defined in detail; however each implementation creating container signatures:
|
|
|
a415a1 |
|
|
|
a415a1 |
- SHOULD define the contents to unambiguously define the software in practice (e.g. it SHOULD contain the name of the software, not only the version number)
|
|
|
a415a1 |
- SHOULD use a build and versioning process which ensures that the contents of this string (e.g. an included version number)
|
|
|
a415a1 |
changes whenever the format or semantics of the generated signature changes in any way;
|
|
|
a415a1 |
it SHOULD not be possible for two implementations which use a different format or semantics to have the same `optional.creator` value
|
|
|
a415a1 |
- SHOULD use a format which is reasonably easy to parse in software (perhaps using a regexp),
|
|
|
a415a1 |
and which makes it easy enough to recognize a range of versions of a specific implementation
|
|
|
a415a1 |
(e.g. the version of the implementation SHOULD NOT be only a git hash, because they don’t have an easily defined ordering;
|
|
|
a415a1 |
the string should contain a version number, or at least a date of the commit).
|
|
|
a415a1 |
|
|
|
a415a1 |
Consumers of container signatures MAY recognize specific values or sets of values of `optional.creator`
|
|
|
a415a1 |
(perhaps augmented with `optional.timestamp`),
|
|
|
a415a1 |
and MAY change their processing of the signature based on these values
|
|
|
a415a1 |
(usually to accommodate violations of this specification in past versions of the signing software which cannot be fixed retroactively),
|
|
|
a415a1 |
as long as the semantics of the invalid document, as created by such an implementation, is clear.
|
|
|
a415a1 |
|
|
|
a415a1 |
If consumers of signatures do change their behavior based on the `optional.creator` value,
|
|
|
a415a1 |
they SHOULD take care that the way they process the signatures is not inconsistent with
|
|
|
a415a1 |
strictly validating signature consumers.
|
|
|
a415a1 |
(I.e. it is acceptable for a consumer to accept a signature based on a specific `optional.creator` value
|
|
|
a415a1 |
if other implementations would completely reject the signature,
|
|
|
a415a1 |
but it would be very undesirable for the two kinds of implementations to accept the signature in different
|
|
|
a415a1 |
and inconsistent situations.)
|
|
|
a415a1 |
|
|
|
a415a1 |
### `optional.timestamp`
|
|
|
a415a1 |
|
|
|
a415a1 |
If present, this MUST be a JSON number, which is representable as a 64-bit integer, and identifies the time when the signature was created
|
|
|
a415a1 |
as the number of seconds since the UNIX epoch (Jan 1 1970 00:00 UTC).
|