Capítulo 38 — Criptografia e serviços de confiança: validação

Capítulo 38 — Criptografia e serviços de confiança: validação

Mapa da aula

Aula 38 publicada. Mapa, exemplo, EX112.

flowchart TD
  N0["38.1 Verificação versus validação"]
  N1["38.2 Testes independentes"]
  N2["38.3 Interpretação honesta"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX112"]

Desenho lógico

flowchart LR
  N0["38.1 Verificação versus validação"]
  N1["38.2 Testes independentes"]
  N2["38.3 Interpretação honesta"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX112"]

[38.1 Verificação versus validação]
    |
    v
[38.2 Testes independentes]
    |
    v
[38.3 Interpretação honesta]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX112]

Objetivos de aprendizagem

Você vai (1) validar que o serviço de confiança atende às necessidades das partes interessadas; (2) contratar testes independentes; (3) interpretar com honestidade os resultados da validação.

38.1 Verificação versus validação

A verificação pergunta se o sistema foi construído conforme especificado; a validação pergunta se ele atende às necessidades reais. Os laboratórios de Aiyana verificaram os requisitos. A validação pergunta às partes interessadas: os técnicos provisionam medidores em menos de dez minutos? Os operadores entendem os alertas? O regulador aceita as evidências? Ela conduz um piloto de campo com 500 medidores num distrito durante três meses, coletando dados sobre cada medida de sucesso do Capítulo 20. Vários requisitos foram atendidos no laboratório, mas não em campo, como o tempo de provisionamento quando o sinal móvel é fraco.

38.2 Testes independentes

A Ridgeway contrata uma empresa de segurança independente para tentar forjar leituras, instalar firmware não assinado e extrair chaves de uma amostra de medidores, com autorização por escrito e num distrito de teste. A empresa não encontra como forjar leituras nem instalar firmware não assinado, mas extrai a chave de um protótipo de medidor sem elemento seguro, confirmando a decisão anterior de exigir elementos seguros. Os testes independentes trazem uma criatividade de atacante que falta à equipe de projeto e fornecem evidências críveis ao regulador.

38.3 Interpretação honesta

Aiyana escreve o relatório de validação. O provisionamento atingiu a meta de dez minutos em 91 por cento dos casos; as falhas vieram de sinal fraco, tratadas permitindo o provisionamento offline com sincronização posterior. Nenhuma leitura forjada foi aceita nos testes, mas ela anota que o teste cobriu três meses e um distrito. As atualizações de firmware chegaram a 97 por cento dos medidores do piloto em até trinta dias, abaixo da meta de 99 por cento, porque alguns medidores estavam inalcançáveis em caixas inundadas. Ela relata as metas não atingidas com a mesma clareza que os sucessos, com ações corretivas. As ações corretivas recebem donos e datas para a revisão seguinte.

Exemplo resolvido

O piloto com 500 medidores e o teste independente não mostram falsificação nem firmware não assinado, confirmam a decisão pelo elemento seguro e relatam, com as correções, as metas não atingidas de provisionamento e de alcance do firmware.

Caso sintético. O piloto, a empresa e os números são inventados.

Erros e limites

A validação num distrito pode não representar toda a área de atendimento. Os testes independentes são limitados pelo escopo e pelo tempo.

Exercícios

• EX112 — Pergunta da validação. Em que a validação difere da verificação? Rubrica: 3 = a validação confere as necessidades reais das partes interessadas; a verificação confere o que foi construído contra a especificação;; 2 = diferença parcial;; 1 = iguais;; 0 = nenhuma.

• EX113 — Extração de chave. O que o teste independente extraiu, e o que isso confirmou? Rubrica: 3 = uma chave de um protótipo sem elemento seguro, confirmando o requisito de elemento seguro;; 2 = achado;; 1 = vago;; 0 = nenhuma.

• EX114 — Meta do firmware não atingida. Que resultado do firmware ficou abaixo da meta, e por quê? Rubrica: 3 = 97 por cento em trinta dias contra 99, por causa de medidores inalcançáveis em caixas inundadas;; 2 = número;; 1 = motivo;; 0 = nenhuma.

Síntese

A validação em campo, os testes independentes e o relato honesto das falhas mostram se o serviço de confiança realmente atende às suas partes interessadas.

Continue estudando — aula 38 (capítulo 38 de 50)

← Capítulo 37 · Índice das aulas · Capítulo 39 →

Continue para a próxima aula já escrita.