Capítulo 41 — Criptografia e serviços de confiança: otimização do sistema

Mapa da aula

Aula 41 publicada. Mapa, exemplo, EX121.

flowchart TD
  N0["41.1 Energia nos medidores"]
  N1["41.2 Reduzir o trabalho repetitivo"]
  N2["41.3 Avaliar as otimizações"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX121"]

Desenho lógico

flowchart LR
  N0["41.1 Energia nos medidores"]
  N1["41.2 Reduzir o trabalho repetitivo"]
  N2["41.3 Avaliar as otimizações"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX121"]

[41.1 Energia nos medidores]
    |
    v
[41.2 Reduzir o trabalho repetitivo]
    |
    v
[41.3 Avaliar as otimizações]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX121]

Objetivos de aprendizagem

Você vai (1) otimizar o serviço de confiança em custo e energia sem enfraquecer a segurança; (2) reduzir o trabalho operacional repetitivo por meio da automação; (3) avaliar as otimizações em relação aos requisitos.

41.1 Energia nos medidores

As baterias dos medidores precisam durar quinze anos. Aiyana mede a energia por leitura: a transmissão de rádio domina, e o cálculo do HMAC no elemento seguro custa uma pequena fração. Ela otimiza agrupando quatro leituras horárias numa única transmissão, com uma única tag cobrindo o lote, o que reduz os despertares do rádio. A tag do lote cobre cada leitura e seu contador, de modo que nenhuma leitura pode ser removida ou reordenada sem ser detectada. Ela confere que o agrupamento não viola o requisito de que o faturamento receba as leituras em até seis horas e documenta o trade-off na latência.

41.2 Reduzir o trabalho repetitivo

A equipe de operações gasta horas por mês em solicitações manuais de certificados para serviços web internos que ficam fora do sistema ACME. Aiyana estende a emissão automatizada a esses serviços e acrescenta um relatório semanal dos certificados descobertos por varredura que não estão no inventário. Os passos manuais caem cerca de dois terços. Ela trata a própria automação como um sistema a proteger: as credenciais do serviço ACME ficam guardadas no serviço de chaves, e seus logs de emissão alimentam o monitoramento, para que a automação não vire um caminho não monitorado até os certificados.

41.3 Avaliar as otimizações

Cada otimização é avaliada em relação aos requisitos antes de ser adotada. Uma proposta de encurtar as tags das leituras para 8 bytes, para economizar mais energia, é rejeitada: a resistência à falsificação de 64 bits fica abaixo da meta do modelo de ameaça, e a economia é marginal, já que o custo do rádio é determinado pelos cabeçalhos. Uma proposta de reduzir os parâmetros do Argon2 para cortar custos de servidor também é rejeitada. Aiyana registra as otimizações rejeitadas com os motivos, evitando que as mesmas ideias voltem sem novas evidências. Cada ideia rejeitada é guardada com os dados que a refutaram, para que um futuro proponente veja exatamente que nova evidência seria necessária para reabri-la.

Exemplo resolvido

Aiyana agrupa quatro leituras sob uma tag para economizar energia, automatiza os certificados internos para cortar dois terços do trabalho repetitivo e rejeita as tags de 8 bytes e os parâmetros mais fracos do Argon2, com os motivos registrados.

Caso sintético. As medições são inventadas.

Erros e limites

Otimizações que reduzem as margens de segurança costumam parecer atraentes isoladamente. O agrupamento muda a latência e a semântica do replay, o que precisa ser testado de novo.

Exercícios

• EX121 — Cobertura da tag do lote. O que a tag do lote precisa cobrir, e por quê?

  Mostrar critérios de avaliação

  Rubrica: 3 = cada leitura e seu contador, para que nenhuma possa ser removida ou reordenada sem detecção;; 2 = leituras;; 1 = só o cabeçalho;; 0 = nenhuma.

• EX122 — Segurança da automação. Como a própria automação é protegida?

  Mostrar critérios de avaliação

  Rubrica: 3 = credenciais do serviço ACME no serviço de chaves e logs de emissão monitorados;; 2 = logs;; 1 = desnecessário;; 0 = nenhuma.

• EX123 — Corte de tag rejeitado. Por que encurtar as tags para 8 bytes foi rejeitado?

  Mostrar critérios de avaliação

  Rubrica: 3 = resistência à falsificação de 64 bits abaixo da meta do modelo de ameaça e economia marginal;; 2 = segurança;; 1 = custo;; 0 = nenhuma.

Síntese

A otimização precisa economizar energia, dinheiro ou trabalho sem sair dos requisitos de segurança, e as ideias rejeitadas também merecem registro.