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).