OpenCyber Academy
Mestrado · Capítulo 5 · Português
Código do curso: OCA-166Capítulo 05: OCA-166-C005

Capítulo 5 — Proposta e piloto

Ensino gratuito e aberto para quem deseja proteger pessoas e tecnologias. Não é preciso criar uma conta para estudar ou consultar as respostas.

Mapa da aula

Aula 05 publicada. Mapa, exemplo, EX027.

flowchart TD
  N0["5.1 A proposta"]
  N1["5.2 Por que amostrar os registros de revisão"]
  N2["5.3 Pilotar a amostra"]
  N3["5.4 Lições do piloto"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4
  N4 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX027"]

Desenho lógico

flowchart LR
  N0["5.1 A proposta"]
  N1["5.2 Por que amostrar os registros de revisão"]
  N2["5.3 Pilotar a amostra"]
  N3["5.4 Lições do piloto"]
  N4["Síntese"]
  N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX027"]

[5.1 A proposta]
    |
    v
[5.2 Por que amostrar os registros de revisão]
    |
    v
[5.3 Pilotar a amostra]
    |
    v
[5.4 Lições do piloto]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX027]

Objetivos de aprendizagem

Você vai (1) escrever uma proposta de pesquisa concisa; (2) pilotar testes de evidência com amostragem por atributos; (3) interpretar limites superiores de taxas de desvio.

5.1 A proposta

Lucas escreve uma proposta de doze páginas: a pergunta, uma revisão curta de normas e estudos, o desenho transversal, a definição do desfecho, os fatores de confusão, as explicações rivais com as verificações planejadas, os arranjos éticos e um cronograma de nove meses. Inclui o plano de análise como apêndice e um resumo de uma página para o CISO da Tessaly. A proposta declara claramente que os resultados descrevem as unidades da Tessaly num ano e podem não se generalizar para outras empresas, outros sistemas ou outros tipos de revisão.

5.2 Por que amostrar os registros de revisão

Além do acesso excessivo, Lucas quer saber se as revisões de fato acontecem como registrado. Conferir todos os registros é lento demais, então ele toma emprestada a ferramenta do auditor, a amostragem por atributos: sortear uma amostra aleatória de registros, contar os desvios, como uma assinatura ausente, e calcular um limite superior para a taxa real de desvio. Se esse limite ficar abaixo de uma taxa tolerável fixada de antemão, o controle é considerado em operação eficaz. Ele fixa a taxa tolerável em 5%, uma escolha comum que registra no plano com sua justificativa.

5.3 Pilotar a amostra

No piloto, Lucas calcula limites superiores exatos de 95% para vários resultados de amostra. Com 60 registros e nenhum desvio, o limite é 0,049, logo abaixo da taxa tolerável de 5%. Um desvio em 60 eleva o limite para 0,077, e três desvios, para 0,124. Uma amostra de 25 com um desvio dá 0,176. Só a amostra limpa de 60 sustenta a conclusão de operação eficaz. O laboratório deixa claro que amostras pequenas não sustentam uma garantia forte, mesmo quando os desvios são raros. Ele anota cada limite para que a escolha do tamanho da amostra possa ser conferida depois pela orientadora e pelos examinadores.

Laboratório — Limites superiores exatos para amostras por atributos

"""Attribute sampling: exact upper 95% bound on control deviation rate (stdlib only)."""
from math import comb
def cdf(k, n, p): return sum(comb(n, i)*p**i*(1-p)**(n-i) for i in range(k+1))
def upper(k, n):
    lo, hi = 0.0, 1.0
    for _ in range(60):
        mid = (lo+hi)/2
        if cdf(k, n, mid) > 0.05: lo = mid
        else: hi = mid
    return hi
for n, k in [(60, 0), (60, 1), (60, 3), (25, 1)]:
    print(f"sample {n}, deviations {k}: upper 95% bound {upper(k, n):.3f}")
print("tolerable rate 0.05 met:", [f"{n}/{k}" for n, k in [(60,0),(60,1),(60,3),(25,1)] if upper(k,n) <= 0.05])

Execute com python3 lab_sample.py. Saída verificada:

sample 60, deviations 0: upper 95% bound 0.049
sample 60, deviations 1: upper 95% bound 0.077
sample 60, deviations 3: upper 95% bound 0.124
sample 25, deviations 1: upper 95% bound 0.176
tolerable rate 0.05 met: ['60/0']

5.4 Lições do piloto

O piloto muda o plano. Lucas decide amostrar 60 registros de revisão por grupo, e não 25, porque amostras menores não conseguem atender à taxa tolerável nem com um único desvio. Ele também esclarece o que conta como desvio: uma revisão sem assinatura, uma assinatura depois do prazo ou uma assinatura de alguém que não é responsável pela unidade, e atualiza o plano. A Dra. Solberg observa que esse teste de evidência complementa a medida de acesso excessivo: um mostra se as revisões aconteceram; o outro, se os acessos terminaram corretos.

Exemplo resolvido

Lucas pilota a amostragem por atributos e constata que só uma amostra limpa de 60 dá um limite abaixo de 5%, então fixa n = 60 por grupo.

Caso sintético. Os resultados das amostras são sintéticos; o método é estatística padrão.

Erros e limites

A amostragem não detecta falhas sistemáticas raras. As taxas toleráveis são questão de julgamento.

Exercícios

Síntese

Os pilotos definem tamanhos de amostra realistas e aprimoram as definições antes do estudo principal.

Respostas comentadas

EX027. Doze páginas, com um cronograma de nove meses.

EX028. 5%.

EX029. 0,049, logo abaixo de 5%.

EX030. 0,077.

EX031. Não; o limite superior é 0,176.

EX032. Revisão sem assinatura, assinatura depois do prazo e assinatura de alguém que não é o responsável.