Capítulo 8 — Revisão independente e defesa

Capítulo 8 — Revisão independente e defesa

Mapa da aula

Aula 08 publicada. Mapa, exemplo, EX045.

flowchart TD
  N0["8.1 Exame externo"]
  N1["8.2 Responder à questão dos intermediários"]
  N2["8.3 Perguntas sobre a criptografia"]
  N3["8.4 Disseminação para os profissionais"]
  N4["8.5 Encerrar o estudo"]
  N5["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5
  N5 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX045"]

Desenho lógico

flowchart LR
  N0["8.1 Exame externo"]
  N1["8.2 Responder à questão dos intermediários"]
  N2["8.3 Perguntas sobre a criptografia"]
  N3["8.4 Disseminação para os profissionais"]
  N4["8.5 Encerrar o estudo"]
  N5["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX045"]

[8.1 Exame externo]
    |
    v
[8.2 Responder à questão dos intermediários]
    |
    v
[8.3 Perguntas sobre a criptografia]
    |
    v
[8.4 Disseminação para os profissionais]
    |
    v
[8.5 Encerrar o estudo]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX045]

Objetivos de aprendizagem

Você vai (1) preparar-se para o exame independente de um estudo sobre operações criptográficas; (2) responder aos questionamentos com evidências do pacote; (3) planejar a disseminação para os profissionais.

8.1 Exame externo

A Coldwater nomeia uma examinadora externa que trabalha com infraestrutura de chaves públicas em outra universidade. Ela recebe a dissertação, o conjunto de dados pseudonimizado e o pacote de reprodutibilidade e roda de novo a análise antes da defesa. Seu relatório prévio concorda com a razão de taxas e o intervalo, mas questiona duas escolhas: codificar os intermediários expirados como incidentes de expiração e a decisão de relatar à parte os modos de renovação desconhecidos. Felipe prepara uma resposta curta para cada uma, apontando para o log do piloto, para a regra de validação de caminho da RFC 5280 e para a conferência de sensibilidade, em vez de repetir suas conclusões.

8.2 Responder à questão dos intermediários

A examinadora argumenta que um intermediário expirado é culpa da autoridade emissora, e não da Briarwood. Felipe responde que os clientes viveram a mesma falha nos dois casos, que a Briarwood escolheu servir aquela cadeia e era responsável por atualizá-la, e que a validação de caminho da RFC 5280 rejeita qualquer certificado expirado no caminho. Em seguida, ele mostra o resultado de sensibilidade: remover os dois casos de intermediários muda a razão de taxas geral de 5,48 para cerca de 5,2, então a conclusão não depende da escolha. Mostrar a alternativa com calma responde à objeção melhor do que defender a regra original.

8.3 Perguntas sobre a criptografia

Um membro da banca pergunta se a mudança para certificados pós-quânticos alteraria os achados. Felipe responde que o ML-DSA do FIPS 204 e o SLH-DSA do FIPS 205 trazem chaves e assinaturas maiores e, possivelmente, cadeias híbridas durante a transição, mas que a renovação continua sendo um processo operacional. Se algo muda, a migração acrescenta risco: novas versões de clientes, novos perfis de certificado e mais mudanças, cada uma uma chance para as colisões com mudanças que seu estudo observou. Ele sugere que as recomendações de propriedade e de monitoramento se tornam mais importantes, e não menos, durante a migração. Ele se recusa a prever taxas de incidentes para a migração, já que seus dados não contêm nenhuma.

8.4 Disseminação para os profissionais

Depois da defesa, Felipe escreve um resumo de quatro páginas para profissionais da Briarwood e de hospitais semelhantes. Ele dá as taxas e o intervalo em linguagem simples, um checklist com três ações (automatizar onde possível, nomear um dono para cada certificado, alertar sobre falhas de renovação) e o quadro de esclarecimento sobre o que o estudo não implica. O líder de infraestrutura da Briarwood o revisa para garantir que não apareçam nomes de host nem a arquitetura interna. Felipe também oferece o livro de códigos anonimizado e as regras de ligação para reutilização, para que outras organizações possam medir suas próprias taxas de expiração nas mesmas unidades.

8.5 Encerrar o estudo

Felipe encerra formalmente o estudo. O comitê de ética recebe um relatório final, e a Briarwood destrói a chave de pseudonimização do HMAC segundo seu próprio procedimento de destruição de chaves, em linha com as fases do ciclo de vida do SP 800-57 Part 1, para que nem mesmo o conjunto de dados de Felipe possa ser ligado de volta aos nomes de host. O pacote de reprodutibilidade continua disponível, com uma nota de que a religação é impossível por projeto. A Dra. Solberg lembra a ele que destruir a chave faz parte da ética do estudo, e não é um incômodo: um pseudônimo é tão forte quanto a proteção da sua chave.

Exemplo resolvido

Felipe responde à objeção da examinadora sobre os certificados intermediários com um resultado de sensibilidade (de 5,48 para cerca de 5,2), relaciona a migração pós-quântica ao risco de colisão com mudanças e encerra o estudo fazendo a Briarwood destruir a chave de pseudonimização.

Caso sintético. A examinadora, a banca e os números são inventados; o FIPS 204, o FIPS 205 e o SP 800-57 são reais.

Erros e limites

Respostas defensivas que repetem conclusões não convencem ninguém; mostre as alternativas e seu efeito. Nunca guarde uma chave de pseudonimização além do que o estudo precisa.

Exercícios

• EX045 — Preparação da examinadora. O que a examinadora externa fez antes da defesa? Rubrica: 3 = rodou de novo a análise a partir do pacote e escreveu um relatório questionando duas escolhas;; 2 = rodou de novo a análise;; 1 = leu;; 0 = nenhuma.

• EX046 — Sensibilidade dos intermediários. Como a remoção dos casos de intermediários afetou o resultado? Rubrica: 3 = razão de taxas de 5,48 para cerca de 5,2, conclusão inalterada;; 2 = inalterada;; 1 = invertida;; 0 = nenhuma.

• EX047 — Argumento de responsabilidade. Dê dois motivos pelos quais Felipe manteve os intermediários como incidentes da Briarwood. Rubrica: 3 = dois entre: mesma falha no cliente, a Briarwood servia a cadeia, a validação de caminho rejeita qualquer certificado expirado;; 2 = um;; 1 = culpa da autoridade;; 0 = nenhuma.

• EX048 — Efeito pós-quântico. Como a migração PQ poderia afetar o risco de expiração? Rubrica: 3 = FIPS 204/205: chaves maiores, cadeias híbridas, mais mudanças aumentam o risco de colisão; propriedade e monitoramento importam mais;; 2 = parcial;; 1 = nenhum efeito;; 0 = nenhuma.

• EX049 — Checklist para profissionais. Liste as três ações do resumo para profissionais. Rubrica: 3 = automatizar onde possível, nomear um dono, alertar sobre falhas de renovação;; 2 = duas;; 1 = uma;; 0 = nenhuma.

• EX050 — Destruição da chave. Por que a Briarwood destrói a chave do HMAC no encerramento? Rubrica: 3 = para que os dados nunca possam ser religados; a força do pseudônimo depende da proteção da chave; ciclo de vida do SP 800-57;; 2 = privacidade;; 1 = espaço em disco;; 0 = nenhuma.

Síntese

Uma nova execução independente, respostas serenas sobre a sensibilidade, a divulgação aos profissionais e uma destruição deliberada de chaves completam um estudo de mestrado que outros podem verificar e usar.

Continue estudando — aula 08 (capítulo 08 de 08)

← Capítulo 07 · Índice das aulas · Próximo curso pelo índice →

O índice aponta para o próximo curso do percurso de estudos.

Resoluções

Respostas-modelo para EX001–EX050. Felipe Arantes, a Dra. Ingrid Solberg, a Coldwater Polytechnic, a Briarwood Health Network e todos os números são sintéticos; as respostas dos laboratórios citam saídas verificadas. Qualquer resposta que atenda à rubrica recebe a mesma pontuação.

EX001. A renovação automatizada com ACME está associada a menos incidentes de expiração por certificado-ano do que a renovação manual na Briarwood?

EX002. Uma falha visível ao usuário causada por um certificado usado depois da sua data notAfter, o campo de validade da RFC 5280.

EX003. As falhas de revogação e os algoritmos fracos, porque respondê-las exigiria dados diferentes dos registros de ciclo de vida.

EX004. 412 encontrados, 297 sem duplicatas, 64 após a triagem, 21 elegíveis, 9 incluídos.

EX005. A triagem de títulos e resumos removeu 233 registros, em grande parte artigos sobre bugs de validação de certificados.

EX006. A maioria mediu a emissão indevida pelas autoridades certificadoras, e não a expiração nas organizações operadoras.

EX007. Mantidos numa lista separada e marcados como não revisados por pares, porque esses relatórios descrevem falhas sem métodos claros.

EX008. Que o emissor atesta que uma chave pública pertence ao titular nomeado entre notBefore e notAfter; os clientes verificam a assinatura do emissor ao longo de uma cadeia até uma raiz em que confiam.

EX009. Na mensagem CertificateVerify, em que o servidor assina a transcrição do handshake com a chave privada do certificado.

EX010. Benefício: uma chave comprometida ou um certificado errado continua útil por menos tempo, e a revogação importa menos. Custo: muito mais renovações, cada uma das quais pode falhar.

EX011. h-pacs tinha expirado quatro dias antes, e h-labres, h-mail e h-hr expiravam em até 30 dias; os quatro eram manuais.

EX012. A renovação dele fica muito no futuro, provavelmente depois que a pessoa que o instalou tiver mudado de função, então ninguém se lembra dele.

EX013. Se o cliente ACME parar de funcionar sem ninguém notar, por exemplo porque uma mudança de firewall bloqueia o desafio de validação.

EX014. Que os certificados sem um dono registrado falham independentemente de serem renovados manual ou automaticamente.

EX015. A Briarwood já tinha escolhido o modo de renovação de cada certificado, então ele não pode ser randomizado; uma coorte usa o histórico existente.

EX016. Acrescenta 0,5 certificado-ano de exposição.

EX017. Avisar o líder de infraestrutura da Briarwood no mesmo dia.

EX018. Uma pessoa de fora pode calcular o hash de nomes de host prováveis e comparar os resultados, recuperando os nomes reais.

EX019. h-6f292159ff nas duas linhas, e a comparação com chave nova imprimiu False.

EX020. Se um colega, usando apenas o pacote, conseguiria regenerar todas as tabelas da dissertação.

EX021. Esquecimento causado pela renovação manual, ausência de dono, de modo que os avisos não chegam a ninguém, e mudanças de infraestrutura que quebram a renovação.

EX022. Sem dono em 61 por cento dos incidentes manuais e em 71 por cento dos incidentes ACME.

EX023. Faltam denominadores, então uma contagem grande pode apenas refletir muitos certificados naquele grupo, e não um risco maior.

EX024. Trinta e oito por cento dos certificados manuais não têm dono, contra vinte e um por cento dos certificados ACME.

EX025. Cinco de sete, porque uma mudança de firewall ou de proxy bloqueou o desafio ACME e os logs de erro do cliente não eram acompanhados.

EX026. O quão crítico é cada serviço, o que a Briarwood não registra de forma consistente.

EX027. Incidentes de expiração por 100 certificados-ano, comparando a renovação manual com a ACME no geral e dentro dos grupos com dono conhecido e sem dono.

EX028. Primeiro, correspondências exatas do nome alternativo do titular; depois, a lista documentada de apelidos; por fim, revisão independente por duas pessoas.

EX029. Um balanceador de carga que termina o TLS de vários hosts e um certificado intermediário, e não folha, expirado.

EX030. Como incidentes de expiração do dono da cadeia, porque a validação de caminho segundo a RFC 5280 rejeita qualquer certificado expirado na cadeia.

EX031. Preenchidas a partir dos registros de conta do cliente ACME, quando possível; caso contrário, rotuladas como desconhecidas e relatadas como um grupo próprio.

EX032. Cerca de quatro minutos por chamado, então ligar cerca de 120 chamados de dois anos cabe em um mês.

EX033. Manual 4,26 e ACME 0,78 incidentes por 100 certificados-ano.

EX034. Razão de taxas 5,48 com intervalo de 95 por cento por bootstrap de 2,50 a 17,50 (semente 7, 5.000 reamostragens).

EX035. O denominador da razão se apoia em apenas sete incidentes ACME, então as reamostragens com pouquíssimos deles inflam a cauda superior.

EX036. Cerca de 9,6 entre os certificados com dono conhecido e cerca de 2,6 entre os sem dono.

EX037. Mais ou menos igual: os certificados ACME órfãos falham a 2,65 por 100, contra 2,69 dos manuais com dono.

EX038. Em quatro de cinco casos, o cliente ACME registrou erros por mais de uma semana sem que ninguém notasse; encaminhar as falhas de renovação ao monitoramento, com alertas.

EX039. Se apagar o parágrafo enfraqueceria a afirmação central; os parágrafos que não enfraqueceriam são movidos para os apêndices ou cortados.

EX040. A unidade, a exposição medida, quantos eventos ocorreram e como o intervalo foi calculado.

EX041. Provavelmente subconta mais os incidentes manuais, porque a equipe muitas vezes corrige as renovações manuais em minutos, sem abrir chamado, o que torna o estudo conservador.

EX042. Automatizar a renovação e nomear donos se apoiam em associações vistas nos dois estratos; alertar sobre falhas de renovação e revisar as dependências durante as mudanças se apoiam em evidências descritivas.

EX043. Como uma hipótese para pesquisas futuras, já que o estudo nunca mediu se o monitoramento do CT encontra certificados ausentes.

EX044. Por exemplo, que o próprio TLS é fraco e que as validades deveriam ser alongadas (e também que scripts próprios deveriam substituir clientes mantidos).

EX045. Ela rodou de novo a análise a partir do pacote de reprodutibilidade e enviou um relatório questionando a regra dos intermediários e o tratamento dos modos de renovação desconhecidos.

EX046. A razão de taxas geral passou de 5,48 para cerca de 5,2, deixando a conclusão intacta.

EX047. Os clientes viram a mesma falha, e a Briarwood escolheu e mantinha a cadeia que servia (além disso, a validação de caminho rejeita qualquer certificado expirado no caminho).

EX048. Certificados ML-DSA ou SLH-DSA maiores, cadeias híbridas e muitas mudanças de clientes aumentam as oportunidades de colisões com mudanças, tornando a propriedade e o monitoramento ainda mais importantes.

EX049. Automatizar a renovação onde possível, dar a cada certificado um dono nomeado e alertar sobre falhas de renovação.

EX050. Destruir a chave torna a religação impossível, já que os pseudônimos são tão seguros quanto sua chave, seguindo as fases do ciclo de vida de chaves do SP 800-57.