Criptografia, assinaturas e PKI

Primitivas, RSA de brinquedo, gestão e contagem de chaves, KDC, certificados e CRL.

TLDR

Perguntar sobre esta página

ChatGPTClaudePerplexityGrokGeminiCopiar e abrirDeepSeekCopiar e abrir

Primitivas e chaves

MecanismoRegra e limite
Cifra simétricaChave partilhada protege confidencialidade; sem autenticação não garante origem nem frescura.
Cifra de chave públicaCifra com a pública do destinatário; só a privada correspondente decifra. Não identifica o remetente.
HashCompara com referência confiável; se o atacante troca mensagem e hash, não autentica.
MACChave partilhada dá integridade entre detentores; sem prova pública de autor.
AssinaturaSign com a privada do autor; Verify com a pública confiável. Não esconde conteúdo.

Assinatura não é cifrar com a privada. Atribuição à pessoa exige chave associada e privada protegida; chave roubada também assina. Sistema híbrido usa acordo ou encapsulamento para chave de sessão com cifra autenticada; o estabelecimento precisa de autenticação.

Para provar a origem do texto em claro, assina o original e cifra depois: quem decifra verifica sobre esse texto. Cifrar e assinar o criptograma autentica o criptograma e permite verificar sem decifrar. As duas ordens existem; a escolha depende do objeto autenticado. Ver ordem.

Hash, César e aleatoriedade

  • Pré-imagem: dado o resumo, achar entrada correspondente. Segunda pré-imagem: dada uma entrada, achar outra com o mesmo resumo. Colisão: escolher duas entradas distintas com o mesmo resumo; custo genérico cerca de 2n/22^{n/2} para saída de nn bits.
  • Hash não esconde entradas de baixa entropia; dez hipóteses conhecidas calculam-se e comparam-se.
  • César em maiúsculas ASCII com y=(x+k) mod 26y=(x+k)\bmod26: só 26 deslocamentos. Substituição com 26!26! chaves conserva frequências. Cifras de estudo.
  • Entropia depende do gerador: 256 escolhas uniformes dão oito bits, mesmo em strings de 128 bits. bb bits de segurança indicam trabalho da ordem de 2b2^b operações no modelo. Kerckhoffs exige proteção com desenho conhecido.

RSA de brinquedo

u≡v(modn)u\equiv v\pmod n quando u−vu-v é múltiplo de nn. Inverso de ee módulo tt existe se gcd⁡(e,t)=1\gcd(e,t)=1.

Para primos distintos p,qp,q: n=pqn=pq, φ(n)=(p−1)(q−1)\varphi(n)=(p-1)(q-1). Escolhe ee coprimo com φ(n)\varphi(n) e dd com ed≡1(modφ(n))ed\equiv1\pmod{\varphi(n)}. Pública é (n,e)(n,e); privada inclui dd. Para 0≤m<n0\le m<n: c=me mod nc=m^e\bmod n, m=cd mod nm=c^d\bmod n.

Exemplo: p=3,q=11,e=3,d=7p=3,q=11,e=3,d=7 dá n=33n=33, m=5m=5, c=26c=26. Aritmética sem codificação, insegura para uso real; RSA real usa OAEP e PSS. Usa pares distintos por titular.

Sem codificação, mensagens pequenas testam-se pela pública, e escolher ss com m=se mod nm=s^e\bmod n cria par aceite sem privada. Ver ataques.

Chaves, certificados e revogação

  • Pares simétricos: K=N(N−1)/2K=N(N-1)/2; seis entidades precisam de 15. Com KDC, NN ligações duradoura ao centro, mais chaves de sessão à parte.
  • Gera, distribui com autenticação, protege, limita uso e revoga. Rotação não desfaz exposição antiga. Sal e nonce não são segredos em geral.
  • Aceita certificado após cadeia, nome esperado, datas, usos e estado segundo a política. Nome errado ou raiz não instalada chumba.
  • CRL lista revogados no seu âmbito; confirma emissor, assinatura, âmbito e atualidade. Datas válidas não anulam revogação; ausência em lista antiga não prova aceitação.

Contas e verificações completas.

À tua maneira

Aparência

Modo de cor
Tema
Cor de destaque

Leitura

Fonte de leitura

Álgebra, lógica e uma ideia de cada vez.

Código

Fonte do código

Navegação

Cursor de leitura, sem edição. h, j, k, l movem; / pesquisa nesta página. v seleciona caracteres; V seleciona linhas; y copia. Tab permite destacar ou comentar. Espaço ou Enter abre blocos recolhíveis. Nos cartões, h, j, k, l mudam o foco.

CSS personalizado

Ativa uma sugestão ou guarda o teu CSS. Só muda este navegador.

Usa --page, --text e --accent para acompanhar o tema.

Seletores e recuperação

.site-header, .prose, .course-card, [data-reading-history], [data-playground] e .page-actions.

Abre a aparência com a tecla vírgula ou no rodapé. Se o CSS esconder os controlos, abre esta página sem CSS personalizado.

Pesquisar

Escreve para pesquisar em todo o site.

para escolher · Enter para abrir · Esc para fechar

Copiar fórmula

A cópia automática não está disponível. Copia o LaTeX abaixo.

Pesquisar nesta página

Enter procura · n / N repetem · Esc cancela. Ctrl / Cmd K pesquisa todo o site.

Atalhos de teclado

Clica numa tecla para a mudar. Esc cancela. Backspace desativa.

PesquisarCtrl / Cmd K

Os atalhos não interferem enquanto escreves. Tab e Enter funcionam sempre.