Capítulo 4 — Criptografia e serviços de confiança: laboratório guiado e síntese aplicada
Mapa da aula
Aula 04 publicada. Mapa, exemplo, EX039.
flowchart TD
N0["4.1 A tarefa guiada"]
N1["Laboratório — Conferindo a impressão digital de um d"]
N2["4.2 Lendo o resultado"]
N3["4.3 Resumindo para a equipe"]
N4["4.4 O que vem a seguir"]
N5["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5
N5 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX039"]
Desenho lógico
flowchart LR
N0["4.1 A tarefa guiada"]
N1["Laboratório — Conferindo a impressão digital de um d"]
N2["4.2 Lendo o resultado"]
N3["4.3 Resumindo para a equipe"]
N4["4.4 O que vem a seguir"]
N5["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> Q["EX039"]
[4.1 A tarefa guiada]
|
v
[Laboratório — Conferindo a impressão digital de um d]
|
v
[4.2 Lendo o resultado]
|
v
[4.3 Resumindo para a equipe]
|
v
[4.4 O que vem a seguir]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX039]
Objetivos de aprendizagem
Você vai (1) concluir uma tarefa guiada verificando um arquivo baixado com uma impressão digital publicada; (2) interpretar o resultado corretamente; (3) escrever um breve resumo em linguagem simples para a equipe da biblioteca; (4) planejar seus próximos passos de aprendizado.
4.1 A tarefa guiada
A biblioteca quer instalar uma ferramenta de catálogo gratuita num notebook da equipe. O site do projeto publica uma impressão digital SHA-256 para cada download. Inês pede a Leo que confira se o arquivo que ele baixou corresponde a ela. A ideia é simples: se mesmo um único byte do arquivo tiver sido danificado ou trocado, a impressão digital será diferente. Leo faz a tarefa de forma segura, usando um arquivo sintético no laboratório abaixo, e depois repete os passos com o download real sob a supervisão de Inês. O laboratório compara um arquivo correto e um arquivo adulterado com o valor publicado e imprime a correspondência ou a divergência de cada um.
Laboratório — Conferindo a impressão digital de um download
# Compare synthetic downloads with a published SHA-256 fingerprint.
import hashlib
original = b"catalogue-tool v2.1 synthetic installer bytes " * 50
published = hashlib.sha256(original).hexdigest()
tampered = original[:-1] + b"!"
print("published:", published[:24] + "...")
for name, data in [("download_ok.bin", original), ("download_bad.bin", tampered)]:
print(name, "MATCH" if hashlib.sha256(data).hexdigest() == published else "MISMATCH")
Execute com python3 lab_checkfile.py. Saída verificada:
published: 215e60edb672063786f8bb92...
download_ok.bin MATCH
download_bad.bin MISMATCH
4.2 Lendo o resultado
Uma correspondência diz a Leo que o arquivo é idêntico àquele cuja impressão digital foi publicada. Ela não lhe diz que o software é seguro ou livre de bugs e, se um atacante tivesse alterado tanto o arquivo quanto a impressão digital no mesmo site, a verificação ainda daria correspondência. É por isso que alguns projetos também assinam suas versões com uma assinatura digital, que exige a chave privada do projeto para ser forjada. Leo anota os dois pontos. Uma divergência significa parar: não instalar, baixar de novo do site oficial e avisar Inês se ainda falhar.
4.3 Resumindo para a equipe
Leo escreve um resumo de cinco frases para a equipe da biblioteca. O download da ferramenta de catálogo foi conferido com a impressão digital publicada pelo projeto e correspondeu. Isso mostra que o arquivo não foi danificado nem trocado no caminho. Isso não prova que o software é seguro, então ele é instalado primeiro em apenas um notebook. Se uma verificação algum dia falhar, o arquivo não deve ser instalado. Leo também lista os três achados dos capítulos anteriores: o post-it com a senha, o calendário de expiração e o alerta sobre ignorar erros de certificado, cada um com quem vai agir.
4.4 O que vem a seguir
O curso termina com uma breve reflexão. Leo agora consegue explicar as três promessas, distinguir codificação de cifração, pedir permissão e escopo, não guardar nada secreto nas anotações e conferir a impressão digital de um download. Ele sabe o que não sabe: como o TLS negocia chaves, como os certificados são emitidos e como as organizações gerenciam chaves ao longo dos anos. Inês recomenda os próximos passos: o curso profissional e a leitura de capítulos acessíveis do Handbook of Applied Cryptography, de Menezes, van Oorschot e Vanstone, cujos capítulos estão disponíveis gratuitamente on-line. Leo sai com uma visão clara dos riscos centrais e com uma tarefa segura concluída.
Exemplo resolvido
Leo executa o laboratório da impressão digital, verifica o download real sob supervisão, escreve um resumo de cinco frases para a equipe e lista três achados anteriores com seus donos.
Caso sintético. A ferramenta de catálogo, os arquivos e as impressões digitais são sintéticos; o Handbook of Applied Cryptography é real.
Erros e limites
Uma impressão digital vinda do mesmo site que o arquivo prova apenas que os dois correspondem. As assinaturas exigem que a chave de quem assina seja confiada corretamente.
Exercícios
-
EX039 — Impressão digital publicada. O que o projeto do catálogo publica para cada download? Rubrica: 3 = uma impressão digital SHA-256;; 2 = impressão digital;; 1 = senha;; 0 = nenhuma.
-
EX040 — Resultados do laboratório. O que o laboratório imprimiu para o arquivo correto e para o adulterado? Rubrica: 3 = MATCH para o arquivo correto, MISMATCH para o adulterado;; 2 = um;; 1 = os dois correspondem;; 0 = nenhuma.
-
EX041 — Significado de uma correspondência. O que uma impressão digital correspondente prova? Rubrica: 3 = que o arquivo é idêntico ao publicado;; 2 = idêntico;; 1 = o software é seguro;; 0 = nenhuma.
-
EX042 — Correspondência não é segurança. O que uma correspondência não prova? Rubrica: 3 = que o software é seguro ou livre de bugs;; 2 = segurança;; 1 = prova tudo;; 0 = nenhuma.
-
EX043 — Fraqueza do mesmo site. Quando uma verificação de impressão digital poderia ser enganada? Rubrica: 3 = se um atacante alterasse o arquivo e a impressão digital no mesmo site;; 2 = ambos alterados;; 1 = nunca;; 0 = nenhuma.
-
EX044 — Versões assinadas. Por que alguns projetos também assinam suas versões? Rubrica: 3 = forjar uma assinatura exige a chave privada do projeto;; 2 = chave privada;; 1 = nenhum motivo;; 0 = nenhuma.
-
EX045 — Ação após divergência. O que Leo deve fazer após uma divergência? Rubrica: 3 = parar, não instalar, baixar de novo do site oficial, avisar Inês se falhar de novo;; 2 = parar;; 1 = instalar assim mesmo;; 0 = nenhuma.
-
EX046 — Instalação em etapas. Por que a ferramenta é instalada primeiro em um notebook? Rubrica: 3 = uma correspondência não prova que o software é seguro;; 2 = cautela;; 1 = vago;; 0 = nenhuma.
-
EX047 — Achados anteriores. Liste os três achados anteriores no resumo de Leo. Rubrica: 3 = senha no post-it, calendário de expiração, alerta sobre avisos de certificado;; 2 = dois;; 1 = vago;; 0 = nenhuma.
-
EX048 — Desconhecidos admitidos. Cite dois temas que Leo sabe que ainda não aprendeu. Rubrica: 3 = dois entre: negociação de chaves do TLS, emissão de certificados, gerenciamento de chaves a longo prazo;; 2 = um;; 1 = vago;; 0 = nenhuma.
-
EX049 — Leitura gratuita. Que referência com capítulos gratuitos on-line Inês recomenda? Rubrica: 3 = Handbook of Applied Cryptography, de Menezes, van Oorschot e Vanstone;; 2 = título;; 1 = vago;; 0 = nenhuma.
-
EX050 — Próximo curso. Que curso Inês sugere em seguida? Rubrica: 3 = o curso profissional;; 2 = nomeado;; 1 = vago;; 0 = nenhuma.
Síntese
Conferir uma impressão digital publicada é uma tarefa criptográfica pequena e real, e entender o que ela prova e o que não prova é a lição final do curso.
Continue estudando — aula 04 (capítulo 04 de 04)
← Capítulo 03 · Í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–EX050. Leo Fernandes, Inês Hartley, a Willow Lane Community Library e todos os arquivos e 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. Entender os riscos centrais, explicá-los à equipe da biblioteca e concluir com segurança uma tarefa guiada.
EX002. Perceber que uma página do site da biblioteca foi alterada por alguém que não deveria tê-la alterado.
EX003. Ela não impede que uma senha fraca seja adivinhada nem que uma pessoa clique num link falso.
EX004. Não. O Base64 é só uma forma de escrever dados, e qualquer pessoa pode revertê-lo sem chave nenhuma.
EX005. A impressão digital ficou completamente diferente e a verificação de correspondência imprimiu False.
EX006. Não. O hashing é de mão única; só é possível conferir um palpite calculando seu hash e comparando.
EX007. Só quem tem a chave secreta correta.
EX008. Quem assinou o item e que ele não foi alterado, usando a chave pública de quem assinou.
EX009. Que a conexão está protegida por TLS e que o site tem um certificado para o nome mostrado.
EX010. Porque ele pode obter um certificado válido para seu próprio nome parecido, e assim o cadeado aparece.
EX011. Parar, não ignorar o aviso e relatá-lo a Inês.
EX012. Nunca em e-mails, mensagens de chat ou documentos compartilhados.
EX013. Tratam de comportamento e configurações, que é de onde vem a maioria dos problemas reais.
EX014. Porque, sem permissão, isso poderia ser ilegal, quebrar dispositivos frágeis como o quiosque e afetar os sistemas de parceiros.
EX015. O gerente da biblioteca, que é o responsável pelos sistemas da biblioteca.
EX016. Ler os detalhes do certificado do site e conferir se os notebooks têm a cifração de disco ativada.
EX017. Varrer a rede e testar senhas estão ambos fora do seu escopo.
EX018. Torna a primeira tarefa segura e possível de terminar.
EX019. Desviar o olhar do que a tarefa não exige, fechar o registro e nunca copiá-lo para as anotações.
EX020. Ele anota onde estava e que é uma senha, sem escrevê-la, e avisa Inês para que ela seja trocada.
EX021. O que ele viu, onde e quando, por que importa e uma sugestão de próximo passo.
EX022. Amigos e redes sociais; os achados vão para Inês e para o gerente.
EX023. Avisar o fornecedor em particular, por meio da biblioteca, para que a fraqueza seja corrigida antes que os detalhes sejam públicos.
EX024. Divulgação coordenada.
EX025. O velho quiosque de autoatendimento da biblioteca, que poderia travar sob uma varredura.
EX026. Protege a biblioteca, seus associados e o próprio Leo.
EX027. Contra um notebook perdido ou roubado ter seus arquivos lidos.
EX028. Não protege as pessoas da rede umas das outras.
EX029. Para que os sistemas de e-mail que recebem possam conferir que o boletim vem mesmo da biblioteca.
EX030. A senha propriamente dita; ele guarda apenas um hash lento e com salt.
EX031. Um valor aleatório armazenado com o hash de cada usuário para que senhas idênticas produzam resultados armazenados diferentes.
EX032. Não. Seus valores armazenados eram diferentes, e os dois ainda foram verificados com a senha correta.
EX033. Torna caro cada palpite de senha, atrasando os ladrões que tentam recuperar as senhas.
EX034. O fornecedor da plataforma do boletim.
EX035. Na página de segurança publicada pelo fornecedor ou no contrato.
EX036. O certificado expirou porque a renovação automática do provedor de hospedagem falhou sem que ninguém percebesse.
EX037. Para que uma chave roubada sem que ninguém percebesse não possa ser usada para sempre.
EX038. Um mês antes de cada data de expiração.
EX039. Uma impressão digital SHA-256 de cada arquivo.
EX040. O arquivo correto imprimiu MATCH e o arquivo adulterado imprimiu MISMATCH.
EX041. Que o arquivo baixado é exatamente o arquivo cuja impressão digital foi publicada.
EX042. Não prova que o software é seguro ou livre de bugs.
EX043. Se um atacante substituísse tanto o arquivo quanto a impressão digital publicada no mesmo site.
EX044. Porque forjar uma assinatura digital exige a chave privada do projeto, que um atacante no site não tem.
EX045. Parar, não instalar, baixar de novo do site oficial e avisar Inês se ainda falhar.
EX046. Porque a correspondência não prova segurança, então testá-la num notebook limita o dano se algo estiver errado.
EX047. O post-it com a senha, o calendário de expiração e o conselho de não ignorar avisos de certificado.
EX048. Como o TLS negocia chaves e como os certificados são emitidos.
EX049. O Handbook of Applied Cryptography, de Menezes, van Oorschot e Vanstone.
EX050. O curso profissional de criptografia e serviços de confiança.