◇ OpenCyber Academy
Graduação · Capítulo 1 · Português

Capítulo 1 — Raciocínio matemático

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

Capítulo 1 — Raciocínio matemático

Mapa da aula

Aula 01 publicada. Mapa, exemplo, EX001.

flowchart TD
  N0["1.1 Conjuntos para o escopo"]
  N1["1.2 Lógica da autorização"]
  N2["1.3 Contando a cobertura"]
  N3["1.4 Saltos inválidos"]
  N4["1.5 Prática"]
  N5["1.6 Por que matemática aqui"]
  N6["1.7 Nota aplicada"]
  N7["1.8 Aritmética de conjuntos resolvida"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
  N7 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX001"]

Desenho lógico

flowchart LR
  N0["1.1 Conjuntos para o escopo"]
  N1["1.2 Lógica da autorização"]
  N2["1.3 Contando a cobertura"]
  N3["1.4 Saltos inválidos"]
  N4["1.5 Prática"]
  N5["1.6 Por que matemática aqui"]
  N6["1.7 Nota aplicada"]
  N7["1.8 Aritmética de conjuntos resolvida"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX001"]

[1.1 Conjuntos para o escopo]
    |
    v
[1.2 Lógica da autorização]
    |
    v
[1.3 Contando a cobertura]
    |
    v
[1.4 Saltos inválidos]
    |
    v
[1.5 Prática]
    |
    v
[1.6 Por que matemática aqui]
    |
    v
[1.7 Nota aplicada]
    |
    v
[1.8 Aritmética de conjuntos resolvida]
    |
    v
[Exemplo resolvido] --> [Exercício EX001]

Objetivos de aprendizagem

Você vai (1) usar conjuntos e lógica para descrever o escopo; (2) aplicar contagem à cobertura; (3) identificar inferências inválidas num argumento de segurança.

1.1 Conjuntos para o escopo

Uma autorização escrita é um conjunto de sistemas. A pertinência é binária para cada alvo: dentro do escopo ou fora dele. Uniões de faixas e exclusões (conjuntos subtraídos) são a forma como o Riverstone Transit Bank (TRB) escreve suas ROE. Se o SWIFT fica na mesma /26 que um host web, a exclusão é uma diferença de conjuntos, não uma nota vaga. Escrever o escopo dessa forma também o torna testável: Sam pode passar qualquer endereço proposto a uma função de pertinência e obter um sim ou um não. Uma nota dizendo "evite o SWIFT" não pode ser testada; o conjunto {/26} menos {host SWIFT} pode.

1.2 Lógica da autorização

A permissão é necessária para testar; ela não é suficiente para todo método. "Dentro do escopo" e "método permitido" precisam ser ambos verdadeiros. Confundir os dois leva a técnicas não autorizadas em hosts autorizados. No TRB, um host pode estar dentro da /26 assinada enquanto as ROE ainda proíbem password spraying ou verificações de negação de serviço contra ele. Por isso, Sam mantém duas listas no TrackScope, uma de hosts e outra de métodos permitidos, e um teste só roda quando o par aparece nas duas. Um pedido para fazer spraying de credenciais contra um host web dentro do escopo falha na segunda lista, e a mensagem de rejeição nomeia a cláusula que o proíbe.

1.3 Contando a cobertura

Se 40 hosts estão no escopo e 28 foram tocados por cartões de método, a cobertura é 28/40. Porcentagens sem denominadores enganam examinadores e conselhos. Escrito como 28/40, o número diz ao leitor que doze hosts dentro do escopo não receberam nenhum cartão de método. Escrito como 70%, ele convida a pergunta "de quê?", e um membro do conselho pode lê-lo como 70% seguro. Por isso, os relatórios de Sam sempre mostram o numerador e o denominador juntos e listam os doze hosts não tocados por dono, para que possam ser agendados para a próxima janela autorizada em vez de sumirem silenciosamente da história.

1.4 Saltos inválidos

"O scanner não encontrou nada, então estamos seguros" confunde ausência de evidência com evidência de ausência. Os intervalos de Wilson do Capítulo 12 tornam numérica a humildade diante de amostras pequenas. Uma varredura limpa sobre 28 de 40 hosts não diz nada sobre os doze que nunca foram tocados, e pouco sobre técnicas que o scanner não consegue ver. Sam reescreve essas afirmações como enunciados delimitados: "nenhum achado dos tipos verificados nos 28 hosts testados nesta janela". A versão delimitada é menos reconfortante, mas é a única que a evidência sustenta, e diz ao leitor exatamente onde o próximo teste deve olhar.

1.5 Prática

Sam Ito, estagiário de engenharia na equipe da plataforma de avaliação autorizada do TRB, traduz cada frase das ROE em conjuntos antes que qualquer ferramenta rode. Na prática, isso significa que cada frase das ROE vira uma linha no seu caderno: o conjunto que ela nomeia, as exclusões que subtrai e os métodos que permite. A /26 menos o host SWIFT em .20 é uma dessas linhas. Só quando todas as frases foram traduzidas, e a tradução foi conferida com o documento assinado por uma segunda pessoa, ele carrega alguma coisa no TrackScope. Frases ambíguas voltam ao dono das ROE como perguntas, não como palpites.

1.6 Por que matemática aqui

Os capítulos posteriores sobre probabilidade, arquitetura e avaliação reutilizam a mesma linguagem cuidadosa. Uma linguagem de escopo descuidada produz testes descuidados. A fração de cobertura de 1.3 volta como uma proporção com intervalo no Capítulo 12, e a expressão de conjuntos de 1.1 vira a função de pertinência do TrackScope nos laboratórios. Aprender o vocabulário uma vez, com cuidado, significa que cada ferramenta posterior tem uma especificação precisa por trás, em vez de um hábito. O caderno de Sam deste capítulo é o primeiro artefato que seu mentor revisa. Uma definição vaga custa pouco para corrigir no caderno, mas a mesma imprecisão no TrackScope poderia colocar um host SWIFT no escopo.

1.7 Nota aplicada

Sam pratica a tradução de parágrafos das ROE em testes de pertinência no papel antes de abrir o TrackScope. Quando uma frase diz "VLAN web, exceto gateways de pagamento", ele escreve a expressão de conjuntos e lista todos os endereços de gateway conhecidos a partir do registro de ativos. Só então ele carrega o arquivo de escopo. Terceirizados que pulam a etapa do papel propõem com frequência hosts que ficam ao lado do SWIFT "porque o ping funcionou". A etapa do papel é mais lenta e evita incidentes de jornal. A lista do registro de ativos serve também como evidência depois. Os auditores podem casar cada carga do arquivo de escopo com a lista assinada do registro, de modo que qualquer host acrescentado depois se destaca.

1.8 Aritmética de conjuntos resolvida

Dada a VLAN V e as exclusões E, Sam calcula V\E e depois faz a interseção com a lista proposta do dia, P. Só P∩(V\E) pode ser carregado. Ele testa a calculadora com o SWIFT dentro de V e confirma que ele nunca aparece na saída. Um segundo teste coloca em P um endereço fora de V e confirma que ele também é rejeitado. Juntos, os dois testes cobrem as duas formas pelas quais o escopo falha: hosts excluídos vazando de volta e hosts fora da faixa chegando numa planilha amigável. A saída da calculadora é salva com a data, para que a lista carregada no dia possa ser reproduzida depois.

1.9 Filtrando uma planilha de agência

Na segunda-feira, Sam recebe de um líder de TI de agência uma planilha de "hosts interessantes". Ele não a importa. Ele reconstrói o escopo a partir das ROE assinadas: a /26, menos o SWIFT em .20, em interseção com os hosts que têm dono no registro de ativos. Três linhas da planilha somem por estarem fora do escopo; uma some por estar excluída. Ele devolve a lista filtrada com a expressão de conjuntos no e-mail. O líder da agência fica irritado por dez minutos e agradecido quando uma quarta linha é reconhecida como um console de pagamento digitado errado. A aritmética de conjuntos no papel escala melhor que a confiança.

Exemplo resolvido (TRB sintético)

Sam escreve ESCOPO = 198.51.100.0/26 menos {198.51.100.20}. Um host proposto, 198.51.100.70, falha no teste de pertinência; ele o rejeita antes da reunião de abertura.

Caso sintético — Riverstone Transit Bank (TRB). O banco, Sam Ito, TrackScope/FindingsDesk/PulseMap e todos os números são inventados para fins didáticos.

Erros e limites

Este livro não concede nenhuma autoridade para testar bancos ou sistemas de pagamento reais. Os laboratórios usam apenas endereços de faixas de documentação e dados sintéticos; código de exploit nunca é fornecido.

Exercícios

Síntese

Escopo é pertinência a um conjunto; métodos precisam de sua própria verdade; cobertura precisa de denominadores.

Continue estudando — capítulo 01 de 40

← Página do curso · Índice de capítulos do curso · Capítulo 02 (rascunho) →