Capítulo 4 — Criptografia e serviços de confiança: explicações concorrentes
Mapa da aula
Aula 04 publicada. Mapa, exemplo, EX021.
flowchart TD
N0["4.1 Três explicações rivais"]
N1["Laboratório — Tabulação cruzada das explicações"]
N2["4.2 Ler a tabulação cruzada"]
N3["4.3 Confusão em termos simples"]
N4["4.4 Onde entra a colisão com mudanças"]
N5["4.5 O que os dados conseguem decidir"]
N6["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6
N6 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX021"]
Desenho lógico
flowchart LR
N0["4.1 Três explicações rivais"]
N1["Laboratório — Tabulação cruzada das explicações"]
N2["4.2 Ler a tabulação cruzada"]
N3["4.3 Confusão em termos simples"]
N4["4.4 Onde entra a colisão com mudanças"]
N5["4.5 O que os dados conseguem decidir"]
N6["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> Q["EX021"]
[4.1 Três explicações rivais]
|
v
[Laboratório — Tabulação cruzada das explicações]
|
v
[4.2 Ler a tabulação cruzada]
|
v
[4.3 Confusão em termos simples]
|
v
[4.4 Onde entra a colisão com mudanças]
|
v
[4.5 O que os dados conseguem decidir]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX021]
Objetivos de aprendizagem
Você vai (1) confrontar explicações rivais para a expiração de certificados; (2) ler uma tabulação cruzada em busca de confusão; (3) decidir quais explicações os dados conseguem e não conseguem distinguir.
4.1 Três explicações rivais
Felipe enuncia três explicações para os incidentes de expiração. A explicação do modo de renovação diz que a renovação manual falha porque as pessoas esquecem. A explicação da propriedade diz que os certificados sem um dono nomeado falham porque os avisos não chegam a ninguém, qualquer que seja o método de renovação. A explicação da colisão com mudanças diz que as renovações falham quando mudanças de rede ou de firewall quebram a validação ou a implantação, afetando em especial as renovações automatizadas. Cada uma prevê um padrão diferente. Se o modo de renovação domina, os incidentes manuais devem superar os automatizados mesmo entre os certificados com dono. Se a propriedade domina, os incidentes sem dono devem ser comuns nos dois modos.
Laboratório — Tabulação cruzada das explicações
"""Cross-tab of 30 synthetic expiry incidents against two competing explanations."""
from collections import Counter
# (renewal mode, owner recorded?) for each incident
INC = ([("manual", False)] * 14 + [("manual", True)] * 9 + [("acme", False)] * 5 + [("acme", True)] * 2)
def main():
c = Counter(INC)
print(" owner-missing owner-known")
for mode in ("manual", "acme"):
print(f"{mode:<10} {c[(mode, False)]:>10} {c[(mode, True)]:>12}")
for mode in ("manual", "acme"):
tot = c[(mode, False)] + c[(mode, True)]
print(f"{mode}: {tot} incidents, owner missing in {100 * c[(mode, False)] / tot:.0f}%")
if __name__ == "__main__":
main()
Execute com python3 lab_explain.py. Saída verificada:
owner-missing owner-known
manual 14 9
acme 5 2
manual: 23 incidents, owner missing in 61%
acme: 7 incidents, owner missing in 71%
4.2 Ler a tabulação cruzada
Entre trinta incidentes sintéticos, vinte e três envolvem certificados manuais e sete, certificados ACME. Os certificados sem dono respondem por 61 por cento dos incidentes manuais e por 71 por cento dos incidentes ACME. Felipe vê duas coisas. A renovação manual está claramente super-representada, o que apoia a explicação do modo de renovação. Mas a parcela sem dono é alta nos dois modos, o que também apoia a explicação da propriedade. As contagens brutas, sozinhas, não conseguem separá-las, porque ele ainda não dividiu pelo número de certificados em cada célula; uma contagem alta pode apenas refletir muitos certificados sem dono.
4.3 Confusão em termos simples
Um fator de confusão é um fator ligado tanto à exposição quanto ao desfecho. Se a Briarwood automatizou sobretudo serviços modernos e com dono bem definido e deixou na renovação manual os hosts legados órfãos, a propriedade faria a automação parecer melhor do que é. Felipe confere o inventário e descobre que 38 por cento dos certificados manuais não têm dono, contra 21 por cento dos certificados ACME. A propriedade é, portanto, um fator de confusão plausível, e sua análise precisa comparar iguais com iguais: certificados manuais e ACME dentro do grupo com dono conhecido e, separadamente, dentro do grupo sem dono.
4.4 Onde entra a colisão com mudanças
A explicação da colisão com mudanças precisa de outras evidências: chamados de mudança ligados às datas de renovação. Felipe descobre que cinco dos sete incidentes ACME vieram depois de uma mudança de firewall ou de proxy na semana anterior, quando o cliente ACME não conseguia mais completar seu desafio e registrava erros que ninguém acompanhava. A RFC 8555 define tipos de desafio como o HTTP-01 e o DNS-01, e cada um depende de infraestrutura fora do cliente. Essa explicação não concorre tanto com a automação quanto a qualifica: a automação elimina o esquecimento, mas acrescenta uma dependência que precisa ser monitorada.
4.5 O que os dados conseguem decidir
Felipe escreve uma tabela de decisão. Os dados conseguem estimar as taxas de incidentes por modo de renovação dentro dos estratos de propriedade, o que trata a confusão pela propriedade. Os dados conseguem descrever com que frequência as falhas automatizadas vêm depois de mudanças, mas, com sete incidentes, só de forma descritiva. Os dados não conseguem descartar fatores de confusão não medidos, como a criticidade do serviço, porque a Briarwood não a registra de forma consistente. Ele declara que sua conclusão será sobre associação, ajustada pela propriedade, e que qualquer linguagem causal precisa ser qualificada. Nomear os limites agora evita um exagero depois.
Exemplo resolvido
A tabulação cruzada de Felipe mostra a renovação manual super-representada, mas parcelas sem dono altas nos dois modos; ele adota a estratificação pela propriedade e trata a colisão com mudanças como uma qualificação da automação.
Caso sintético. Os trinta incidentes e as porcentagens de propriedade são inventados; os tipos de desafio da RFC 8555 são reais.
Erros e limites
Contagens sem denominadores enganam; sempre converta em taxas. Estratificar por um fator de confusão deixa os outros sem controle.
Exercícios
-
EX021 — Três explicações. Cite as três explicações rivais. Rubrica: 3 = modo de renovação, propriedade, colisão com mudanças;; 2 = duas;; 1 = uma;; 0 = nenhuma.
-
EX022 — Parcelas da tabulação. Que parcelas sem dono o laboratório relatou para cada modo? Rubrica: 3 = 61 por cento manual, 71 por cento ACME;; 2 = uma;; 1 = só as contagens;; 0 = nenhuma.
-
EX023 — Por que as contagens falham. Por que as contagens brutas de incidentes não conseguem separar as explicações? Rubrica: 3 = não há denominadores; as contagens podem refletir quantos certificados cada célula contém;; 2 = precisa de taxas;; 1 = amostra pequena;; 0 = nenhuma.
-
EX024 — Evidência de confusão. Que números do inventário tornam a propriedade um fator de confusão? Rubrica: 3 = 38 por cento dos manuais vs 21 por cento dos ACME sem dono;; 2 = direção;; 1 = vago;; 0 = nenhuma.
-
EX025 — Colisões com mudanças. Quantos incidentes ACME vieram depois de mudanças de infraestrutura, e por quê? Rubrica: 3 = cinco de sete; o cliente não conseguia completar o desafio, erros sem acompanhamento;; 2 = o número;; 1 = o motivo;; 0 = nenhuma.
-
EX026 — Fator de confusão não medido. Que fator de confusão os dados não conseguem tratar? Rubrica: 3 = a criticidade do serviço, não registrada de forma consistente;; 2 = "não medido";; 1 = propriedade;; 0 = nenhuma.
Síntese
Explicações rivais preveem padrões diferentes; testá-las exige taxas, estratificação por fatores de confusão medidos e franqueza sobre o que continua sem medida.
Continue estudando — aula 04 (capítulo 04 de 08)
← Capítulo 03 · Índice das aulas · Capítulo 05 →
Continue para a próxima aula já escrita.