Ce que prouve un reçu, et ce qu’il ne prouve pas

La preuve cryptographique invite à l’exagération. « Signé » sonne comme « vrai », et « inviolable » comme « certifié ». Ni l’un ni l’autre n’est juste. Si vous utilisez des reçus Trustvice dans un audit, un contrat ou un litige, le plus précieux est de les décrire exactement : ni plus que ce qu’ils montrent, ni moins.

Cet article est cette description. C’est la page que nous voudrions voir lue par un avocat, un auditeur ou une contrepartie attentifs avant de s’appuyer sur un reçu, et elle répète à dessein ce que dit déjà notre documentation.

Ce que prouve un reçu valide#

Un reçu qui se vérifie contre une clé Trustvice publiée prouve trois choses.

L’origine. L’enveloppe a été signée par le détenteur de la clé privée correspondant à signatureKeyId, qui est une clé de signature Trustvice. Personne d’autre, vous compris, ne peut produire un reçu qui se vérifie contre cette clé.

L’intégrité. Chaque membre de l’enveloppe sauf signature est exactement tel que signé : le type, le corps, l’heure issuedAt et l’id de clé. Changer un seul caractère fait échouer la vérification.

Une heure signée. Trustvice affirme que le reçu a été créé à issuedAt. C’est l’horloge de l’émetteur.

Chacun peut contrôler ces trois points, hors ligne, sans compte et sans nous demander. Le contrôle est déterministe : deux implémentations indépendantes, avec le même reçu et la même clé, arrivent à la même réponse. C’est la force d’un reçu, et elle est réelle.

Faits déclarés et faits observés#

Avant d’énumérer les limites, une distinction décide de ce que vaut un reçu donné.

Un reçu peut énoncer des faits que quelqu’un a fournis à Trustvice, signés pour montrer qu’ils ont été présentés, ou des faits sur quelque chose que Trustvice a effectué ou vu elle-même. Un reçu portant sur des faits déclarés prouve qu’ils ont été présentés au plus tard à issuedAt ; un reçu portant sur des faits observés prouve ce que Trustvice a vu. Les reçus se ressemblent dans les deux cas : lisez le type de reçu pour savoir lequel vous détenez.

Ce qu’un reçu ne prouve pas#

Ce ne sont pas des défauts. C’est la limite de l’affirmation.

Qu’un fait déclaré est vrai#

Un reçu portant sur un hash couvre un hash. Le hash d’un faux document se vérifie exactement comme celui d’un vrai. Un reçu portant sur un échange déclaré, comme un prompt et une réponse, prouve que l’échange a été présenté à un moment donné, pas qu’il s’est déroulé comme décrit.

Ce qu’un reçu de fait déclaré apporte vaut quand même d’être pris : il fixe l’affirmation dans le temps, si bien qu’elle ne peut être antidatée en douce, et toute modification ultérieure est détectable.

Qui a rédigé, approuvé ou possédé quoi que ce soit#

L’enveloppe ne porte aucun identifiant de workspace ou de compte, ni la signature d’une personne. Quiconque détient le JSON peut le présenter. Un hash identifie des octets, pas un propriétaire : il ne montre pas que personne d’autre ne détient le même contenu. Si la paternité compte, placez vos propres signatures dans le contenu.

Votre contenu#

Le reçu contient un hash. Pour montrer qu’un document concorde, hachez-le et comparez avec le corps. Le reçu n’aide que si vous avez gardé le contenu là où vous pouvez le produire.

L’heure réelle d’un événement#

issuedAt est notre horloge à la signature. Pour un fait déclaré, l’événement a eu lieu un peu avant le reçu. Un reçu n’est pas un horodatage qualifié au sens d’un quelconque régime juridique. Ne revendiquez pas une précision plus fine que l’intervalle entre l’événement et le reçu. S’il vous faut un ancrage externe, publiez la signature du reçu là où existe une horloge de confiance propre.

Que rien ne s’est passé là où il n’y a pas de reçu#

Un reçu prouve ce qu’il dit, pas ce qui n’a pas été dit. Une absence de reçus ne prouve pas que rien ne s’est passé, ni en votre faveur ni contre vous.

Qu’un reçu a été révoqué, ou qu’une clé n’a jamais été compromise#

Il n’y a pas de révocation. Un reçu valide à l’émission le reste tant que sa clé de signature reste publiée. Il n’y a pas non plus de liste de révocation des clés. Une clé de signature divulguée permettrait à son détenteur de créer des reçus qui se vérifient, et le seul contrôle de signature ne pourrait pas les distinguer des vrais.

Ce pour quoi vous nous faites confiance#

La vérification vous dispense de nous croire sur bien des points : vous n’avez pas besoin de nous pour savoir si un reçu a été modifié, quelle clé l’a signé, ou si la clé qu’il contient a été échangée. Reste un petit ensemble nommé :

• Que la clé publique contre laquelle vous vérifiez est la nôtre. Épinglez l’id de clé et la valeur x depuis un réseau de confiance, et vérifiez contre cette copie.
• Que nos clés de signature ne servent qu’au service de reçus. Trustvice les conserve dans des modules matériels de sécurité AWS KMS, qu’elles ne quittent jamais, ce qui empêche de les copier. Cela n’empêche pas qui peut déployer le service de reçus, ou détient son identifiant de signature seule, de le faire signer.
• Que lorsque nous disons avoir observé quelque chose, nous l’avons fait. Cela vaut pour les reçus portant sur ce que Trustvice a effectué ou vu.
• Notre horloge.

Pour la position la plus solide dans un litige, combinez les reçus avec des enregistrements que vous contrôlez.

Comment présenter un reçu#

Quand un reçu quitte vos mains, une courte note d’accompagnement évite la plupart des malentendus. Une bonne note fait cinq choses :

1. Dit ce que montre le reçu, dans ses propres termes. « Le 14 octobre à 09 :41 :07 UTC, un détenteur de notre clé a présenté à Trustvice le SHA-256 4d9a…7d62 sous le libellé proof v3 delivered. »
2. Dit de qui est le fait. Déclaré par nous, ou observé par Trustvice.
3. Livre les preuves ensemble. Le reçu, le jeu de clés qui l’a vérifié, et le contenu original.
4. Invite à une vérification indépendante. Renvoyez à /verify et à la procédure hors ligne, et demandez à l’autre partie de récupérer elle-même les clés sur trustvice.com, pour ne pas dépendre d’un fichier de clés fourni par vous.
5. Énonce les limites. Surtout l’heure, le point de vue, et les éventuels trous.

Notre guide Preuves pour les litiges montre la démarche complète : décider avant un litige des affirmations dont vous aurez besoin, capter des reçus au moment des faits, et assembler un dossier de preuves que l’autre partie vérifie sans vous faire confiance.

Les reçus et le droit#

La recevabilité d’un reçu, ou sa suffisance, devant un tribunal, un régulateur ou dans un cadre contractuel dépend de la juridiction et du cas. Un reçu est un relevé technique de ce qui a été présenté à un service de signature, ou observé par lui. Ce n’est ni un conseil juridique, ni une certification, ni une preuve de conformité. Consultez votre propre avocat, et envisagez d’inscrire dans vos contrats que les deux parties acceptent les reçus vérifiés contre les clés publiées comme preuve des faits qu’ils énoncent.

Pourquoi nous l’écrivons#

Une limite énoncée franchement inspire plus confiance qu’une promesse, car un reçu n’est utile qu’à la mesure de la précision avec laquelle on le décrit. Si vous trouvez un endroit où nos propres pages exagèrent ce que prouve un reçu, dites-le-nous sur /contact et nous le corrigerons.