Bancada de ensaio de controlo agêntico

Quase todas as demonstrações de segurança agêntica terminam num número tranquilizador: uma margem de resiliência, uma pontuação de proteção, um indicador que fica verde quando se liga o suficiente. Esta não, e a ausência é o essencial. Os dezoito controlos são reais e as suas correspondências com os referenciais são reais, mas nenhum foi alguma vez medido contra uma geração de modelos — pelo que um valor de risco residual exigiria um coeficiente que não existe. O que obtém em vez disso é cobertura: que quadrantes preencheu, quais deixou vazios, que correspondências de ameaça tocou. A cobertura é um facto sobre a sua seleção. O risco residual seria uma afirmação sobre o mundo.