Capítulo 10 — Leitura e crítica de pesquisas

Capítulo 10 — Leitura e crítica de pesquisas

Mapa da aula

Aula 10 publicada. Mapa, exemplo, EX046.

flowchart TD
  N0["10.1 Ler como profissional"]
  N1["10.2 Avaliar afirmações sobre ataques"]
  N2["10.3 Avaliar afirmações sobre desempenho"]
  N3["10.4 Traduzir as pesquisas"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4
  N4 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX046"]

Desenho lógico

flowchart LR
  N0["10.1 Ler como profissional"]
  N1["10.2 Avaliar afirmações sobre ataques"]
  N2["10.3 Avaliar afirmações sobre desempenho"]
  N3["10.4 Traduzir as pesquisas"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX046"]

[10.1 Ler como profissional]
    |
    v
[10.2 Avaliar afirmações sobre ataques]
    |
    v
[10.3 Avaliar afirmações sobre desempenho]
    |
    v
[10.4 Traduzir as pesquisas]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX046]

Objetivos de aprendizagem

Você vai (1) ler pesquisas em criptografia de forma crítica, como profissional; (2) avaliar afirmações sobre ataques e desempenho; (3) traduzir as pesquisas em relevância para a organização.

10.1 Ler como profissional

A turma de Leila lê artigos de pesquisa e normas sobre temas que afetam a Corvane: ataques de canal lateral a implementações pós-quânticas, estudos sobre a implantação do TLS e análises dos ecossistemas de certificados. A Prof.ª Rao ensina um método de leitura: identificar a afirmação, o modelo de ameaça, as evidências e as condições sob as quais a afirmação vale. Leila o aplica aos capítulos de Boneh e Shoup sobre cifração autenticada e ao artigo de Shoup sobre sequências de jogos, publicado no arquivo ePrint da IACR, aprendendo como as provas de segurança estruturam seus argumentos passo a passo.

10.2 Avaliar afirmações sobre ataques

Muitas manchetes anunciam que um algoritmo foi "quebrado". Leila aprende a perguntar se o ataque é prático, de que recursos ele precisa, se ele visa o algoritmo ou uma implementação específica e se existem correções. Um ataque de canal lateral a uma implementação, que exige acesso físico, não significa que a norma esteja quebrada. Por outro lado, um ataque criptanalítico à estrutura de um algoritmo, mesmo que ainda não seja prático, sinaliza a necessidade de planejar a migração. Ela escreve resumos de um parágrafo que traduzem os artigos em "o que isto significa para a Corvane".

10.3 Avaliar afirmações sobre desempenho

Os estudos de desempenho dos algoritmos pós-quânticos relatam tempos de handshake e tamanhos. Leila confere o hardware, as versões de software e as condições de rede, comparando-os com o ambiente da Corvane. Um estudo em processadores de servidor diz pouco sobre as unidades de telemática. Ela replica um benchmark nos próprios dispositivos de teste da Corvane, usando bibliotecas dos fornecedores, e obtém resultados próximos dos números publicados para os servidores, mas mais lentos nas unidades de telemática, o que confirma que os testes locais são necessários para os sistemas com recursos limitados. Ela publica internamente seu método de medição, para que outras equipes possam repeti-lo nos seus próprios dispositivos antes de planejar as migrações.

10.4 Traduzir as pesquisas

Leila mantém uma lista de acompanhamento de pesquisas para o programa: temas, artigos principais, situação das normas e graus de relevância. A cada trimestre, ela informa o comitê diretor sobre as mudanças, como um novo documento do IETF sobre troca de chaves híbrida ou uma vulnerabilidade de implementação numa biblioteca que a Corvane usa. Ela evita inundar os executivos com artigos; relata apenas os itens que mudam os riscos ou os planos. A leitura de pesquisas se torna, assim, uma entrada do programa, e não um exercício acadêmico. Os executivos dizem que esse resumo é a página mais útil do seu pacote.

Exemplo resolvido

Leila aplica um método de afirmação, ameaça, evidências e condições, separa os ataques a implementações das quebras de algoritmos, replica um benchmark nas unidades de telemática e mantém uma lista trimestral de acompanhamento de pesquisas.

Caso sintético. A lista de acompanhamento e os benchmarks são inventados; Boneh–Shoup e Shoup (2004) são reais.

Erros e limites

As manchetes exageram; leia o artigo. Os benchmarks raramente se transferem entre hardwares diferentes.

Exercícios

• EX046 — Método de leitura. Quais quatro elementos o método da Prof.ª Rao identifica? Rubrica: 3 = afirmação, modelo de ameaça, evidências, condições;; 2 = três;; 1 = um;; 0 = nenhuma.

• EX047 — Afirmações de quebra. Que perguntas Leila faz diante de uma manchete de "quebrado"? Rubrica: 3 = praticidade, recursos, algoritmo versus implementação, correções;; 2 = três;; 1 = vago;; 0 = nenhuma.

• EX048 — Significado do canal lateral. Um ataque físico de canal lateral a uma implementação quebra a norma? Rubrica: 3 = não; ele visa uma implementação e exige acesso físico;; 2 = não;; 1 = sim;; 0 = nenhuma.

• EX049 — Replicação do benchmark. O que a replicação de Leila mostrou? Rubrica: 3 = próximo dos números publicados nos servidores, mais lento nas unidades de telemática;; 2 = ambos;; 1 = um;; 0 = nenhuma.

• EX050 — Regra da lista. O que Leila relata aos executivos a partir da lista de acompanhamento? Rubrica: 3 = apenas os itens que mudam os riscos ou os planos;; 2 = filtro;; 1 = tudo;; 0 = nenhuma.

Síntese

Os profissionais leem pesquisas em busca de afirmações, modelos de ameaça e condições e depois traduzem apenas o que muda o risco da organização.

Continue estudando — aula 10 (capítulo 10 de 12)

← Capítulo 09 · Índice das aulas · Capítulo 11 →

Continue para a próxima aula já escrita.