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