Resumo

  • O Datatracker lista o texto de Sankalp Gilda como Internet-Draft individual ativo, sem adoção formal pelo grupo WIMSE ou publicação como RFC.
  • Na versão 01, uma escrita dentro do escopo, mas sem ligação comprovada com um pedido, torna o efeito desse pedido unknown; permissão sem execução passa a not-exercised.

Uma auditoria pode ter a fotografia de antes, a fotografia de depois e uma assinatura válida, mas ainda não saber qual pedido provocou a diferença. Essa lacuna não desaparece porque os bytes foram preservados. A revisão 01 de draft-gilda-wimse-agent-audit-record tenta impedir que a ausência de vínculo causal seja registrada como ausência de efeito.

O formato proposto já existia na versão 00: uma declaração in-toto em envelope DSSE, com campos para decisão de autorização e efeito observado. O avanço não está em multiplicar campos de log. Agora cada escrita carrega o resumo do pedido ao qual o observador a atribui; se a atribuição não for possível, carrega o literal unattributed. O valor de effect.observed deve retratar o pedido do registro em análise. Uma escrita pertencente a outro pedido, embora feita no mesmo intervalo, não conta como execução deste.

Se houver escrita atribuída ao pedido, o efeito é occurred. Se não houver e tampouco existir escrita não atribuída dentro dos caminhos cobertos, é none. Se aparecer uma escrita não atribuída nesse escopo, é unknown. A tabela de concordância acompanha essa distinção: negar e mesmo assim observar efeito atribuído resulta em disagree; permitir e não observar efeito resulta em not-exercised; qualquer decisão acompanhada de efeito desconhecido resulta em indeterminate. Na versão 00, a permissão não utilizada recebia o mesmo disagree que uma negativa vazada. Permitir uma ação, porém, não obriga a executá-la.

A revisão também fecha uma ambiguidade de interoperabilidade. Quando o sistema não consegue vincular os argumentos da chamada por resumo criptográfico, argumentsDigest não pode aparecer nem como nulo nem como cadeia vazia, e deve ser excluído do objeto cujo resumo identifica o pedido. Isso permite que implementações calculem os mesmos bytes para o mesmo caso. Novos vetores de conformidade exercitam essa regra, as escritas de outros pedidos, a escrita órfã e a permissão não exercida.

O Datatracker registra atualização em 27 de setembro e estado IESG I-D Exists; o texto é individual, não um padrão aprovado. Sua assinatura e suas checagens de consistência podem revelar certas alterações ou contradições internas. Não demonstram que o produtor observou todas as escritas, que fez atribuições honestas ou que ocupava o ponto de observação independente alegado. A proposta não cria uma política de decisão para quem recebe o registro.

Fontes