Summary

  • O BoF CURRENT avaliou MLS como gerência de chaves para o record layer do TLS 1.3, mas segue sem charter; as atas do IETF 126 dizem que o problema ainda não era bem compreendido.
  • No perfil de duas partes, quem aplica o commit envia EpochKeyUpdate autenticado; o iniciador precisa validar essa confirmação antes de tornar corrente seu estado pendente.
  • Atualização enviada, chave instalada, segredo antigo apagado e aplicação aceita na nova época são comprovantes independentes.

Um intervalo entre verdades locais

A envia ConnectionUpdate. B valida e aplica o commit, devolve EpochKeyUpdate e passa a usar o material novo. O registro local de B é verdadeiro. A permanece em Awaiting EpochKeyUpdate; só pode ativar o estado provisório depois de autenticar a resposta com o estado derivado de seu commit.

A assimetria impede que uma ação local seja tratada como prova de recepção remota. O erro surge quando o painel reduz todo o percurso a “rotação concluída”.

Os dois textos estão na revisão 01 e são Internet-Drafts individuais, sem RFC stream. CURRENT continua registrado como BoF, não como grupo de trabalho. No IETF 126 houve dúvidas sobre o escopo, sobre a adequação de duas partes a casos multipartes e sobre quanto extensões TLS existentes já resolveriam. A proposta merece análise; não pode ser apresentada como arquitetura aprovada.

PCS precisa de processamento e exclusão

O RFC 9420 afirma que uma proposta Update não produz PCS sozinha. Outro membro precisa incluí-la em um Commit, e a garantia passa a valer quando os membros processam esse Commit. Forward secrecy também depende de apagar chaves privadas antigas e chaves de mensagem usadas.

Nos drafts, MLS exporta os segredos que alimentam o record layer TLS e commits em banda avançam a época. A confirmação autenticada prova conhecimento do novo estado. Não prova que todas as cópias antigas foram eliminadas, que o invasor perdeu acesso, que a identidade continua válida ou que o serviço da aplicação permaneceu íntegro.

“PCS habilitada” nomeia uma capacidade. Não determina quando a exposição terminou.

Colisão e retomada deixam caminhos diferentes

Se os dois lados atualizam ao mesmo tempo, os papéis iniciais resolvem a colisão: um ignora o commit concorrente; o outro abandona o próprio commit pendente e aplica o do par. Na retomada, um commit pendente pode ser retransmitido, e um commit já aplicado não pode ser aplicado de novo. A detecção da interrupção fica a cargo do transporte.

Guardar apenas o número final da época apaga se a convergência veio de confirmação normal, colisão, retransmissão ou retomada. Também impede medir por quanto tempo o material anterior continuou disponível.

Oito comprovantes

A Minimum Initial Specification de Lu Heng limita a camada comum a mensagens e transições determinísticas. Running-Code Primacy prioriza o estado realmente validado, instalado e apagado. As camadas de realidade separam: criação, envio, autenticação remota, aplicação remota, confirmação, instalação local, exclusão antiga e primeiro registro de aplicação autenticado na nova época.

O próprio texto pede cautela: análise de segurança completa, separação entre protocolos e partes do framing ainda têm TODO. Um BoF abre uma investigação; não declara consenso.

Fontes e limites

As fontes não provam WG com charter, consenso IETF, draft adotado, RFC, análise completa, interoperabilidade, implantação, recuperação medida, PQC em produção, incidente ou resultado de serviço.