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