Capítulo 40 — Tese e apresentação

Capítulo 40 — Tese e apresentação

Mapa da aula

Aula 40 publicada. Mapa, exemplo, EX118.

flowchart TD
  N0["40.1 Escrever a tese"]
  N1["40.2 Apresentar"]
  N2["40.3 Reflexão"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3
  N3 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX118"]

Desenho lógico

flowchart LR
  N0["40.1 Escrever a tese"]
  N1["40.2 Apresentar"]
  N2["40.3 Reflexão"]
  N3["Síntese"]
  N0 --> N1 --> N2 --> N3 --> Q["EX118"]

[40.1 Escrever a tese]
    |
    v
[40.2 Apresentar]
    |
    v
[40.3 Reflexão]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX118]

Objetivos de aprendizagem

Você vai (1) escrever uma tese de bacharelado sobre o trabalho de conclusão; (2) apresentar os achados a públicos acadêmicos e ao parceiro; (3) refletir sobre a aprendizagem.

40.1 Escrever a tese

A tese de Priya apresenta o problema dos certificados e das chaves não gerenciados na Tidewell, as normas e as evidências relacionadas, o projeto e a implementação do inventário, a avaliação e as conclusões. Cada afirmação cita evidências: a indisponibilidade do catálogo, o exercício da chave vazada, os testes semeados e os resultados em produção. Ela descreve a dependência da ferramenta em relação às funções da biblioteca padrão e aos scanners existentes e declara que nenhuma primitiva criptográfica foi implementada. O Dr. Echeverría lembra a ela de manter a tese focada no que ela consegue mostrar. Ela revisa dois capítulos de acordo.

40.2 Apresentar

Priya faz duas apresentações. Para a banca acadêmica, ela enfatiza o método, a avaliação e os limites; para o conselho da Tidewell, enfatiza os resultados em palavras simples: nenhuma expiração de certificado desde que a ferramenta entrou em operação, três certificados esquecidos encontrados e um dono definido para cada chave. Ela se prepara para perguntas sobre custo, manutenção e privacidade e responde à pergunta de um conselheiro sobre se a ferramenta lê dados dos leitores: não lê, já que lida apenas com certificados e metadados de chaves. O conselho pede para receber relatórios trimestrais do inventário.

40.3 Reflexão

Na sua reflexão, Priya olha para trás, para os quatro anos: das provas de identidades do XOR à operação de uma ferramenta real. Ela anota que os problemas mais difíceis raramente foram matemáticos; foram inventários, propriedade, comunicação e falhas silenciosas. Ela também anota o valor dos fundamentos: entender por que os nonces precisam ser únicos ou por que os salts importam permitiu que ela julgasse ferramentas e fornecedores. Ela planeja continuar num curso de pós-graduação e seguir como voluntária nas oficinas da Tidewell. O Dr. Echeverría a incentiva a submeter a avaliação como um artigo curto para profissionais.

Exemplo resolvido

A tese de Priya argumenta a partir das evidências, sua apresentação ao conselho relata nenhuma expiração desde a entrada em operação e sua reflexão identifica os problemas operacionais como mais difíceis do que os matemáticos.

Caso sintético. Os resultados são inventados.

Erros e limites

Teses que vão além das evidências perdem credibilidade. As apresentações precisam se adequar ao público sem mudar os fatos.

Exercícios

• EX118 — Ênfase para o conselho. O que Priya enfatizou para o conselho? Rubrica: 3 = resultados em palavras simples: nenhuma expiração, três certificados esquecidos encontrados, um dono para cada chave;; 2 = resultados;; 1 = método;; 0 = nenhuma.

• EX119 — Pergunta sobre dados dos leitores. Como ela respondeu se a ferramenta lê dados dos leitores? Rubrica: 3 = não lê; lida apenas com certificados e metadados de chaves;; 2 = não;; 1 = sim;; 0 = nenhuma.

• EX120 — Problemas mais difíceis. O que Priya achou mais difícil ao longo dos quatro anos? Rubrica: 3 = inventários, propriedade, comunicação e falhas silenciosas, mais do que a matemática;; 2 = operacionais;; 1 = matemática;; 0 = nenhuma.

Síntese

Uma tese de bacharelado fundamentada em evidências, apresentada com honestidade a cada público, encerra quatro anos de aprendizagem com impacto prático.

Continue estudando — aula 40 (capítulo 40 de 40)

← Capítulo 39 · Índice das aulas · Próximo curso pelo índice →

O índice aponta para o próximo curso do percurso de estudos.

Resoluções

Respostas-modelo para EX001–EX120. Priya Raman, o Dr. Tomás Echeverría, Grace Okafor, a Ashford University, o Tidewell Public Library Consortium e todos os números são sintéticos; as respostas dos laboratórios citam saídas verificadas. Qualquer resposta que atenda à rubrica recebe a mesma pontuação.

EX001. Sem uma definição precisa da segurança e do atacante, a afirmação não pode ser provada nem testada.

EX002. x XOR x é igual a 0 e x XOR 0 é igual a x, então fazer de novo o XOR com a chave restaura a mensagem.

EX003. Recuperou "FINE PAID 0938", já que o XOR dos textos cifrados cancela a chave e a primeira mensagem era conhecida.

EX004. A cifração de disco cobre os dados armazenados, enquanto os dados em trânsito precisam de proteção de rede, como o TLS.

EX005. Principalmente o controle de acesso e o isolamento do sistema operacional, porque os dados precisam ser decifrados para serem processados.

EX006. As fitas de backup externas não eram cifradas; ela propôs cifrá-las com chaves controladas pelo consórcio, com um backup seguro das chaves.

EX007. Porque o é é codificado com dois bytes em UTF-8, mais um byte para cada uma das outras letras.

EX008. Comparando seu digest de "abc" com o exemplo publicado no FIPS 180-4, que começa com ba7816bf.

EX009. Se um atacante conseguir mudar tanto os arquivos quanto a lista armazenada, as mudanças passam despercebidas, então a lista precisa de proteção ou de uma assinatura.

EX010. Um parágrafo que usava hash, salt e derivação de chave sem defini-los para um leitor leigo.

EX011. O FIPS 180-4 para o SHA-256 e a RFC 9106 para o Argon2.

EX012. O Argon2id torna cada palpite caro em tempo e memória, desacelerando os ataques offline, embora senhas fracas ainda possam ser adivinhadas.

EX013. Irretratabilidade, junto com integridade e autenticação.

EX014. Um MAC usa uma única chave secreta compartilhada e não consegue provar qual detentor o gerou; uma assinatura usa uma chave privada e verificação pública, sustentando a irretratabilidade.

EX015. O cadeado mostra que o TLS protege a conexão em trânsito, e não os dados armazenados em servidores ou dispositivos.

EX016. Fechamento, associatividade, um elemento neutro e um inverso para cada elemento.

EX017. As duas partes calcularam 2, depois de trocar os valores públicos 8 e 19.

EX018. Um computador quântico grande que o executasse resolveria logaritmos discretos com eficiência, e é por isso que existem normas pós-quânticas como o FIPS 203.

EX019. Para provar a posse da chave privada do certificado e proteger o handshake contra adulteração.

EX020. Confere a cadeia até uma raiz confiável, que o nome corresponde e que a data está dentro da validade.

EX021. A wiki da equipe ainda aceitava o protocolo desatualizado TLS 1.0.

EX022. Elas fazem escolhas seguras sobre nonces, modos e preenchimento por padrão, de modo que menos erros são possíveis.

EX023. Para que nem quem chama nem os atacantes saibam qual verificação falhou.

EX024. Que os tokens diferem, o que mostra que um nonce novo é usado a cada vez.

EX025. Ele é tão rápido que hashes roubados podem ser adivinhados a taxas enormes, e senhas iguais produzem hashes iguais.

EX026. A mesma senha armazenada com dois salts produziu dois valores diferentes.

EX027. Apagar os dados que não são mais necessários, já que dados ausentes não podem vazar.

EX028. Os hosts no escopo, as datas dos testes e as ferramentas permitidas.

EX029. Porque eles guardam senhas e dados pessoais de pessoas reais, qualquer que seja sua disponibilidade pública.

EX030. Ela parou de testar, relatou ao contato de segurança do fornecedor com um prazo de noventa dias e avisou seu professor.

EX031. Impede que a chave seja copiada para outro lugar, de modo que o malware só pode usá-la indevidamente enquanto estiver naquela máquina.

EX032. Porque a saída do random pode ser prevista, enquanto o secrets obtém valores do gerador seguro do sistema operacional.

EX033. Durante a suspensão, a memória, incluindo as chaves de cifração do disco, continua energizada e poderia ser lida.

EX034. O logaritmo de base 2 de N.

EX035. Quatro palavras aleatórias dão 51,7 bits, mais do que os 47,6 bits de oito caracteres mistos aleatórios.

EX036. As pessoas escolhem frases previsíveis que os atacantes tentam cedo, então as escolhas estão longe de ser uniformes.

EX037. Os dois lados calculam o HMAC sobre o segredo compartilhado e a janela de tempo atual.

EX038. A assinatura inclui a origem do site real, então um site falso recebe uma resposta que não consegue reutilizar.

EX039. Exigi-las afastaria muitos leitores que não têm esses dispositivos ou não conseguem usá-los.

EX040. Porque pode revelar condições de saúde, crenças religiosas ou posições políticas.

EX041. Os números dos cartões seguem um formato conhecido, então um atacante pode calcular o hash de todos os números possíveis e comparar.

EX042. Apagar cada registro de empréstimo depois da devolução, a menos que o leitor escolha manter um histórico.

EX043. Cada hash cobre o hash anterior, então uma mudança se propaga pelo restante da cadeia.

EX044. A cabeça mudou de 4492b592 para c3664171, com a primeira diferença na entrada 2.

EX045. Fora do controle do insider, como o sistema de um auditor separado; do contrário, a cadeia inteira pode ser reescrita.

EX046. Entre a internet e o portal, e entre o portal e o banco de dados de leitores.

EX047. As permissões do banco de dados e a cifração no nível dos campos.

EX048. Deixavam de fora onde as chaves ficavam, então ninguém conseguia planejar a rotação nem julgar quem podia decifrar os dados.

EX049. Um sistema deve continuar seguro quando tudo sobre ele, exceto a chave, é publicamente conhecido.

EX050. Tomou a letra mais frequente do texto cifrado, P, como E, o que deu um deslocamento de 11.

EX051. Mensagens idênticas produzem textos cifrados idênticos, então um atacante consegue saber quando as mensagens se repetem.

EX052. Uma população definida, um comportamento mensurável e uma intervenção a comparar.

EX053. A população, o método e os achados de cada estudo, anotando se ele observou comportamento de laboratório ou real.

EX054. Que os gerentes nunca vissem os resultados de nenhum indivíduo.

EX055. Autoridades certificadoras, serviços de carimbo de tempo, serviços de criação e validação de assinaturas e serviços de gerenciamento de chaves.

EX056. Toda raiz confiável pode certificar qualquer nome, então uma única autoridade comprometida pode minar todos.

EX057. Acharam que a assinatura cobria termos de um anexo que não fazia parte dos bytes assinados.

EX058. Causas procedimentais, como validação ou monitoramento deficientes, e não matemática quebrada.

EX059. Qualquer certificado emitido para os nomes da Tidewell, para que os emitidos indevidamente possam ser percebidos.

EX060. Renovação manual a cargo de alguém que tinha saído, nenhum alerta de expiração e nenhum registro de que servidor guardava a chave.

EX061. Que determinado leitor tem direito a emprestar um título específico por catorze dias.

EX062. Emitir certificados que fazem seus próprios dispositivos parecerem dispositivos da equipe.

EX063. Que as pessoas que administram o serviço de chaves não devem também controlar seus logs de auditoria.

EX064. Dois certificados esquecidos em servidores antigos e uma chave de backup guardada numa pasta compartilhada.

EX065. Ela agendou a substituição, seguindo a orientação de transição do SP 800-131A.

EX066. Ela o registrou como um risco, e não como uma falha, já que a migração ainda está no início.

EX067. Para que mover um registro cifrado para o identificador de outro leitor faça a decifração falhar.

EX068. Aproximadamente 2^32 cifrações sob uma mesma chave.

EX069. Porque os engenheiros devem conferir se as escolhas da biblioteca atendem à norma, em vez de projetar as próprias.

EX070. A chave da autoridade certificadora interna e as chaves de backup.

EX071. Restaurar as chaves de backup exige dois administradores agindo juntos.

EX072. As evidências estavam no e-mail pessoal, então o armazenamento foi transferido para um local compartilhado e com controle de acesso.

EX073. Decifração correta, falha com um byte adulterado e falha com uma chave errada.

EX074. Um nonce fixo tirado de um código de exemplo, de modo que as cifrações repetidas eram idênticas.

EX075. As chaves eram compartilhadas por transferência manual.

EX076. Gerar as chaves, assinar com a chave privada e verificar com a chave pública.

EX077. Eles rejeitam scripts não assinados, e a chave de assinatura fica no serviço de chaves, usada apenas em solicitações aprovadas.

EX078. Ele deriva o segredo de cada assinatura de forma determinística, evitando os valores aleatórios reutilizados ou vazados que expuseram chaves ECDSA.

EX079. Ela agora oferecia o TLS 1.3, mas ainda aceitava o TLS 1.0, então a mudança anterior tinha sido incompleta.

EX080. Um desenvolvedor tinha confiado nele durante os testes e esqueceu de removê-lo.

EX081. Severidade, evidências, o sistema afetado e uma correção recomendada.

EX082. Passar-se pelo portal diante de qualquer leitor cuja conexão ele consiga interceptar.

EX083. Regras pouco claras para os prestadores e a ausência de varredura de segredos.

EX084. Varredura de segredos nos repositórios e geração das chaves nos servidores, para que as pessoas nunca as manuseiem.

EX085. O certificado do portal dos leitores, com dezessete dias restantes.

EX086. Sua validade de 397 dias mostra um manuseio manual, enquanto os outros usam noventa dias ou menos.

EX087. Para garantir que a rotação não deixou os backups anteriores impossíveis de decifrar.

EX088. Ela cifra cada exportação com uma nova chave simétrica embrulhada para a chave pública da parceira, seguindo a RFC 9180.

EX089. As duas ferramentas definiam o conteúdo assinado de formas diferentes.

EX090. Comparando as impressões digitais das chaves numa reunião presencial.

EX091. Adversários gravam hoje o tráfego cifrado, na esperança de decifrá-lo quando existirem computadores quânticos grandes.

EX092. As mensagens se perdem se os dispositivos forem perdidos, e as caixas de entrada compartilhadas pelos bibliotecários ficam difíceis.

EX093. Concluir primeiro os controles básicos, como o inventário, a renovação automatizada e a cifração dos backups.

EX094. Uma assinatura digital é um mecanismo criptográfico; uma assinatura eletrônica é uma noção jurídica que pode incluir marcas simples, como nomes digitados.

EX095. Para que a assinatura ainda possa ser validada depois que o certificado do signatário tiver expirado.

EX096. Porque controles confusos empurram os usuários para soluções de contorno inseguras.

EX097. Dezoito de trinta (60 por cento) no grupo de controle e nove de trinta (30 por cento) com a explicação.

EX098. Como uma associação com menos pessoas da equipe prosseguindo nesta simulação, em vez de afirmar que funciona.

EX099. Os participantes adivinharem o propósito e a diferença entre um site de treinamento e a pressão real do trabalho.

EX100. Várias pessoas usam o mesmo computador da unidade, então um certificado de dispositivo não consegue distinguir os indivíduos.

EX101. Resistência ao phishing, esforço da equipe, custo e recuperação após perda.

EX102. Uma queda nos preços das chaves de segurança tornaria vantajoso um uso mais amplo das chaves.

EX103. Todo certificado e toda chave no escopo têm um dono no inventário, e nenhum expira sem alertas com trinta e com sete dias de antecedência.

EX104. As chaves de segurança da equipe e as chaves mantidas pelos fornecedores.

EX105. Acrescentar uma medida de alertas falsos.

EX106. Para mostrar que escolhas de palavras verdadeiramente aleatórias são mais fortes do que as frases que as pessoas escolhem.

EX107. Ela dedicou mais tempo aos gerenciadores de senhas, porque foi o que os participantes mais valorizaram.

EX108. Ela explicou os limites do seu papel, encaminhou-os aos recursos oficiais de recuperação e nunca pediu suas senhas.

EX109. Explica como o protocolo funciona, mas não fornece nenhuma evidência sobre a redução de indisponibilidades.

EX110. Relatam resultados sem métodos e podem ter conflitos de interesse.

EX111. Que a automação traz modos de falha silenciosos que precisam de monitoramento.

EX112. Dois certificados em portas incomuns passaram despercebidos até que essas portas autorizadas fossem acrescentadas.

EX113. Um erro de fuso horário, corrigido mantendo todas as datas em UTC.

EX114. Ela o registrou como uma melhoria futura, manteve o escopo combinado e tornou o projeto fácil de estender.

EX115. Quarenta e dois certificados, três deles antes não registrados.

EX116. Porque os voluntários ignoravam os alertas enviados aos seus endereços pessoais.

EX117. Uma expiração só foi tratada depois do lembrete de sete dias.

EX118. Resultados em linguagem simples: nenhuma expiração de certificado desde o lançamento, três certificados esquecidos descobertos e um dono para cada chave.

EX119. Não lê; ela lida apenas com certificados e metadados de chaves.

EX120. Questões operacionais, como inventários, propriedade, comunicação e falhas silenciosas, mais do que a matemática.