Ataque híbrido — Operação global

Documento de referência do projeto Time2Crack

Destinatários: desenvolvedores, pesquisadores de segurança, usuários avançados

Índice

Resumo

Ataque híbrido é o método de cracking que combina uma lista de palavras do dicionário com um conjunto de regras de transformaçãoEm vez de testar cada palavra no dicionário como é (ataque puro do dicionário), gera na mosca todas as variantes plausíveis de cada palavra — capitalizações, substituições de caracteres, adições de prefixo/sufixo, inversões — e testa-as sistematicamente.

O ataque híbrido é historicamente o método responsável pela maioria das quebras de senha "média" reais — aquelas que parecem ser fortes sem ser fortes. De acordo com Ma et al. (2014, IEEE S&P), as primeiras 8 a 10 regras aplicadas a uma palavra atual bastam para quebrar a senha mediana população.

No Time2Crack, o ataque híbrido modelou:

2. Antecedentes históricos e acadêmicos

2.1 Origens: John the Ripper e regras de mutação

O ataque híbrido nasce formalmente com João, o Estripador (Solar Designer, 1996), a primeira ferramenta pública para combinar uma lista de palavras com um mecanismo de regras configurável. Antes de John the Ripper, ataques de dicionário testaram palavras brutas; John introduziu a noção de que cada palavra gera uma família de candidatos.

2.2 Estudos empíricos fundadores

• Artigo 1.o (: → mot brut) : crack 18% das senhas baseadas em dict

2.3 Voo do LinkedIn como caso escolar

O vazamento do LinkedIn de 2012 (6,5 milhões de SHA-1s não salgados) ilustra perfeitamente o poder do híbrido. Em 72 horas, a comunidade hashcat tinha rachado:

A análise pós-crack revelou que "linkin1", "Linkedin1", "l!nked!n" e "LINKEDIN" — todas as variantes de "linkin" — representavam coletivamente dezenas de milhares de contas comprometidas.

3. Fundações conceituais: Por que os trabalhos híbridos

3.1 Comportamento humano "seguro"

Quando um sistema impõe regras de complexidade (majuscule, number, symbol), os usuários não geram aleatórios — eles aplicar transformações previsíveis a palavras memorizáveis :

Estas transformações parecem criativos ao utilizador. exatamente os primeiros que o atacante tenta Correspondem às restrições impostas pelas políticas de segurança.

3.2 O conceito de espaço reduzido eficiente

Uma senha de 10 caracteres com letras + dígitos + símbolos tem uma força de espaço de chave bruta de 94^10, 5,4 × 10^19 combinações. Muito grande para viajar em um tempo razoável.

Mas se esta senha é "Password1!" — uma transformação trivial de "password" — está entre os 500 primeiros candidatos O atacante não viaja 5.4 × 10^19 combinações: ele viaja 500.

Esta é a redução fundamental do ataque híbrido: o espaço real das escolhas humanas é astronomicamente menor que o espaço teórico de possíveis personagens..

3.3 A Lei do Poder da Transformação

Assim como as senhas cruas seguem uma lei de poder (Zipf), as transformações que os seres humanos aplicam também seguem uma distribuição muito concentrada. Ma et al. (2014) mostraram empiricamente:

Esta concentração permite que um conjunto de 64 regras bem escolhidas (melhor64) atinja uma cobertura de 79-85%, onde 64 regras aleatórias atingiriam apenas 10-15%.

3.4 Interação com a popularidade da palavra básica

Quanto mais comum a palavra base, mais cedo a senha derivada está na lista de prioridades do atacante. O atacante ordena aos seus candidatos uma probabilidade decrescente:

Candidats générés par l'attaquant (ordre de test) :
senha (bruto, palavra mais comum)
Senha (capitalizar primeiro)
senha1 ($1)
PASSWORD (sobretudo)
senha!
p@ ssword (substituir a→@)
passw0rd (substituir o→0)
Senha1 (c + $1)
P@ ssword (c + s a @)
senha123 ($12$3)
...
p@ssW0rd! (complexo de combinação)

"password" é a palavra mais comum → seus derivados são testados primeiro. "papillon" é menos comum → seus derivados são testados muito mais tarde. Esta priorização é o mecanismo central que explica os três espaços de chave distintos no Time2Crack.

4. Arquitetura de um ataque híbrido moderno

4.1 Oleoduto geral

Phase 1 : Sélection de la wordlist
    ├── Passwords fuités triés par fréquence (RockYou, HIBP, Collections)
    ├── Dictionnaire linguistique (fr.txt, en.txt, de.txt...)
    ├── Wordlists thématiques (prénoms, villes, marques, séries TV)
    └── Wordlists contextuelles (domaine cible, noms d'employés, termes métier)
Fase 2: Seleção do Jogo de Regras
- melhor64.regra (referência equilibrada, 64 regras)
UmaRegraParaRegraEles.Regra (52.000 regras, ML-gerado)
D3ad0ne.rule (34.000 regras, empíricas)
- Regras JtR (generalized.rule, especific.rule, extra.rule)
- Regras personalizadas (adaptadas ao domínio alvo)
Fase 3: Expansão (lista de palavras × regras)
Para cada palavra w na lista de palavras:
Para cada regra r no conjunto de regras:
□ requerente = pedido(r, w)
Promocional
Fila de promoçãodacandidate.push(candidate)
-- Ordem: (w1, regra1), (w1, regra2)... (w2, regra1)...
ou: (w1, regra1), (w2, regra1)... de acordo com a estratégia
Fase 4: Haching e Comparação (GPU)
- - Envio por lote de ~10M candidatos à GPU
- - Cálculo paralelo de haxixes (SIMD, 168 GH/s para MD5)
- Comparação com hash(es)-alvo
Se corresponder: ENCONTRADO — log(candidato, hash, regra)
Fase 5: Apresentação de relatórios
- - Candidato rachado + regra usada + classificação na lista

4.2 Hashcat modos de operação

Hashcat implementa o híbrido de duas maneiras distintas:

hashcat -a 0 -m 0 hashes.txt rockyou.txt -r best64.rule

hashcat -a 6 -m 0 hashes.txt wordlist.txt ?d?d?d?d
Ensaio "sunshine0000", "sunshine0001", ..., "sunshine9999"

hashcat -a 7 -m 0 hashes.txt ?d?d wordlist.txt
Teste "00sunshine", "01sunshine", ..., "99sunshine"

Time2Crack modela principalmente o modo -a 0 (regras de transferência), que abrange a grande maioria dos ataques híbridos documentados.

4.3 Ordem dos candidatos e estratégia de priorização

A ordem em que os candidatos são testados é crítica.

(W1, R1), (W1, R2), ..., (W1, Rn), (W2, R1), (W2, R2)...

(W1, R1), (W2, R1), ..., (Wm, R1), (W1, R2), (W2, R2)...

Na prática, hashcat usa palavra-primeiro por padrão, mas operadores experientes escolher de acordo com o perfil alvo.

5. Conjuntos de regras de mutação

5.1 Sintaxe das regras do hashcat

As regras do hashcat são expressas em uma linguagem mínima onde cada caractere representa uma operação na string candidata:

5.2. Regras compósitas

Regras podem ser encadeadas em uma única linha para criar transformações complexas:

c $1          → "Password1" (capitalize + append 1)
c $! $1       → "Password!1" (capitalize + append ! + 1)
s a @ s e 3   → "p@ssw3rd" (substitute a→@ et e→3)
r $1          → "1drowssap" (reverse + append 1)
u $2 $0 $2 $3 → "PASSWORD2023" (uppercase + append year)

Poder está na composição: 64 regras simples geram milhares de transformações distintas por combinação.

5.3 Regras principais

6. Regras Best64: o jogo de referência

O Best64 é o conjunto de 64 normas de referência na literatura acadêmica e na indústria. Aqui estão as regras mais importantes e sua justificativa empírica:

6.1 As 20 regras mais eficazes (por ordem de desempenho)

6.2 Por que estas regras são tão eficazes?

Cada regra do top-10 corresponde a uma restrição da política de segurança comum:

Políticas de senha realmente não aumentam a segurança se os usuários implementarem transformações previsíveis — eles apenas movem senhas para a segunda ou terceira regra do melhor64.

7. Taxonomia Completa das Transformações

7.1 Categoria 1: Transformações de casos

Explora a obrigação de ter um capital:

7.2 Categoria 2: Sufixos e prefixos digitais

Explorar a obrigação de ter um valor:

7,3 Categoria 3: Substituições de Leet

Substituição sistemática de letras por números ou símbolos semelhantes:

As substituições combinadas ("P@ssw0rd") parecem complexas, mas são geradas em algumas regras: c s a @ s o 0Eles estão entre os 500 primeiros candidatos Na palavra-passe.

7.4 Categoria 4: Sufixos simbólicos

Explorar a obrigação de ter um carácter especial:

7.5 Categoria 5: Transformações estruturais

Menos frequente, mas útil para alguns perfis:

7.6 Categoria 6: Transformações compostas (nível avançado)

Regras complexas combinam várias operações:

c $1 s a @        → "P@ssword1" (capitalize + append 1 + substitute a→@)
u $! $1 $2 $3     → "SUNSHINE!123" (uppercase + append !123)
r c $1            → "Drowssap1" (reverse + capitalize + append 1)
s e 3 s a @ c $!  → "P@ssw3rd!" (multiple substitutions + capitalize + !)

Estas transformações parecem muito complexas, mas permanecem detectáveis por um bom conjunto de regras.UmaRegraToRuleThemall contém milhares delas.

8. Prioridade de Frequência: O Coração de Eficácia

8.1. A frequência da palavra básica determina a prioridade

Um atacante inteligente não aplica as regras uniformemente a todas as palavras. Ele prioriza:

Esta estratégia é implementada no hashcat através da ordenação da lista de palavras, diminuindo a frequência combinada com a estratégia palavra- primeiro. Ela explica porque "Password1" (derivado de "password", a palavra #1) é rachada em milissegundos, enquanto "Soleil1" (derivado de "sol", palavra ~5000 do dicionário francês) pode levar alguns segundos.

8.2 Posição mediana no espaço de busca

A medida-chave é o número mediano de candidatos testados antes de encontrar a senha-alvo. Ma et al. (2014) fornecem medidas empíricas:

Estas medições são a base direta das constantes Time2Crack:

const HYBRIDKEYSPACECOMMON = 500;    // Ma et al. 2014 — médiane top-100
const HYBRIDKEYSPACEDICT = 8000; // Ma et al. 2014 — ditador mediano actual
HYBRIDKEYSPACEFULL = 128e6; // Gosney 2012 — best64 × 2M palavras exaustivas

8.3 Condições necessárias para que o híbrido seja aplicável

Ataque híbrido requer a senha para ser estruturalmente derivable a partir de uma palavra do dicionárioTime2Crack detecta esta condição via hybridVuln :

const hybridVuln = dictWord || (common && /[a-z]/i.test(pw));

Se dictWord nenhum dos dois hybridVuln são verdadeiros — a senha não contém nenhuma raiz de dicionário detectável — retorna ataque híbrido null (não aplicável). Uma senha puramente aleatória como "xK9# mQ7@" não é vulnerável ao híbrido.

9. Implementação no Time2Crack: addHybridAttacks()

9.1 Código anotado completo

function addHybridAttacks(rows, hybridVuln, weak, common, dictWord) {
  if (hybridVuln || weak) {
    // Sélection du keyspace selon la popularité du mot de base :
    // common → mot dans HIBP top-400 → position ~500 dans la liste de l'attaquant
    // dictWord → mot dans la wordlist → position ~8000
    // sinon (hybridVuln sans dictWord ni common) → scan exhaustif ~128M
    const hybridKS = common ? HYBRIDKEYSPACECOMUM
dictWord? HYBRIDKEYSPACEDICT
: HYBRIDKEYSPACETOTAL;
para (const a de ALGOS) {
linhas.push ({
atk: t("aHybrid"),
hash: a.name,
taxa: a. taxa,
// budgetTempo : o espaço de chaves É o número de palpites — nenhuma divisão por 2
// (ao contrário do BrutTime, aqui os candidatos são ordenados por probabilidade)
seco: fraco ? fracoGuessTime(a.rate): budgetTime(hybridKS, a.rate),
nota: fraco ? t("nWeakPassword") : t("nDictMut")
gato: "híbrido",
});
}
} outros {
// Senha sem dicionário de estrutura → híbrido inaplicável
linhas.push ({
atk: t("aHybrid"),
hash: "(todos),
taxa: 0,
seco: nulo, // N/A na tabela
nota: t(nStructUncock),
gato: "híbrido",
});
}
}

9.2 budgetTime vs bruteTime

A distinção entre as duas funções é fundamental:

// bruteTime : l'attaquant ne sait pas où est le mot de passe dans l'espace.
// Il teste en moyenne la moitié avant de le trouver. → keyspace/2
function bruteTime(keyspace, rate) {
  const ls = Math.log(keyspace / 2) - Math.log(rate);
  return Math.exp(ls);
}
// budgetTime: o atacante testa candidatos em ordem decrescente de probabilidade.
// Keyspace IS o número de candidatos esperado antes de encontrar (posição mediana).
// Nenhuma divisão por 2 — a mediana já está incorporada nas constantes de Ma 2014.
função orçamentalTempo( palpites, taxa) {
const ls = Math.log( sussess) - Math.log( rate);
retorna Math.exp( ls);
}

Para o híbrido, budgetTime é correto porque os 500/8000/128M candidatos são estimativas empíricas do posição mediana, não espaço total para viajar.

9.3 Relação com isDictWord()

Detecção dictWord que condiciona a escolha do espaço-chave híbrido isDictWord() :

function isDictWord(pw) {
  if (!DICTWORDS || !DICTRetorno falso;
const l = pw. normalize ("NFC").toLowerCase();
// Teste direto: A senha está no dicionário?
se (DICT)WORDS.has(l)) return true;
// Teste Leetificado: "s0le1l" → "sol" no dico?
const dl = deLeet( pw);
se (dl!)WORDS.has(dl) retorna true;
// Substring teste: "sunshine123" contém "sunshine" no dico?
para (const o de DICTWORDS) {
se (l.includes(w) && w.length >= 4) retornar true;
}
Retorno falso;
}

Esta detecção determina não só se o híbrido é aplicável, mas também qual espaço de chave (common vs dict) é usado para calcular o tempo.

10. Os três espaços-chave híbridos e a sua justificação

10, 1 HYBRIDKEYSPACECOMUNS = 500

10,2 HYBRIDKEYSPACEDICT = 8.000

10,3 HYBRIDKEYSPACETOTAL = 128.000.000

11. Calibração de alta fidelidade

11.1 Papel do modo de alta fidelidade

Quando o modo de alta fidelidade (HF) é ativado no Time2Crack, um multiplicador adicional é aplicado aos tempos calculados para refinar a precisão. Para o ataque híbrido, este multiplicador leva em conta fatores não capturados pelos espaços de chave básicos.

Multiplicadores HF para híbridos

In applyHighFidelityCalibration() :

case "hybrid":
  // Mots très courants : crackés encore plus tôt que la médiane Ma 2014
  // car les attaquants modernes trient word-first + règle-first simultanément.
  // Réduction de 30% sur les temps déjà courts.
  m = contexto.comum ? 0.7
: context.dictWord ? 0.8
- 1,0;
Quebrar;

11.3 Interacção com a monotonia

A guarda monotonia garante que nenhum ataque especializado afirma ser mais rápido que a força bruta na subtexto alfabética da senha:

// Pour chaque row non-brute :
const floorAlpha = bruteTime(Math.pow(26, alphaOnly.length), algo.rate);
if (row.sec < floorAlpha) row.sec = floorAlpha;

Para palavras curtas (por exemplo, "gato" = 3 letras, piso = 26^3/rate

12. Relação com ataques derivados

12.1 Híbrido vs. Dicionário Puro

12.2 Híbrido vs Baseado em Regras

O ataque baseado em regras no Time2Crack é conceitualmente semelhante, mas com um conjunto muito mais amplo de regras:

const RULEKEYSPACE = 250000000; // vs 128M para híbrido completo

A diferença: o melhor híbrido modelo64 (64 regras, foco em transformações humanas comuns). Os modelos de ataque baseados em regras mais amplos jogos como d3ad0ne (regras 34k) ou OneRuleToRuleThemAll (regras 52k), usados quando o melhor64 falha. O híbrido baseado em regras é o híbrido "segunda linha" — mais lento mas mais abrangente.

12. 3 Híbrido vs PCFG

PCFG (Probabilistic Context-Free Grammar, Weir 2009) modela a estrutura gramatical da senha para gerar candidatos.

PCFG pode atacar senhas sem dicionário root se estrutura é comum (ex: "Thelonious8" → nenhuma palavra do dico mas estrutura Capitalizar + menor + dígitos muito previsível).

12, 4 Híbrido vs Morfológico (morfo)

O ataque morfológico testa variantes linguísticas (flexões, variações). É uma generalização do híbrido para linguagens com morfologia rica:

O híbrido opera na superfície da palavra (transformações de caráter), a morfologia opera na estrutura lexical (derivação, flexão), e eles são complementares.

13. Benchmarks pelo algoritmo de hash

13.1 Tempo para os três espaços de chaves híbridos (12× RTX 4090)

13.2 Impacto do perfil de ataque

Time2Crack oferece dois perfis (Experienced 12 GPU, Professional 100 GPU). Para o híbrido, a diferença de perfil é diretamente proporcional:

Para MD5, SHA-1, NTLM: o perfil muda o tempo de microsegundos para nanossegundos — sem qualquer impacto prático, ambos são instantâneos.

14. Exemplos concretos de fissuração híbrida

14.1 Exemplo 1: "Senha 1" (COMMON)

14.2 Exemplo 2: "Sun2024" (DICT)

14.3 Exemplo 3: "p@ pillon!" (DICT com substituições)

14.4 Exemplo 4: "xK9# mQ7@" (resistente)

Esta senha não pode ser quebrada por ataque híbrido. Ela não tem raiz de dicionário. O atacante deve usar força bruta pura, PCFG ou ataques estatísticos (Markov, Neural).

14.5 Exemplo 5: "LinkedInB3st!"

Caso interessante: a senha contém duas raízes ("linkedin" e "best" via des-leetificação). Ataque híbrido é aplicável porque pelo menos uma raiz é detectada. Na prática, um ataque combinador (duas palavras coladas) seria ainda mais eficaz aqui.

15. Limites de ataque híbrido

15.1 Limites intrínsecos

15.2 O que Time2Crack não captura

15.3 Casos em que o híbrido é superestimado

Time2Crack pode superestimar a velocidade híbrida em dois casos:

16. Defesas eficazes

16.1 O que resiste à hibridização

Ataque híbrido falhou se a senha não deriva de nenhuma palavra de dicionário existenteEstratégias eficazes:

16.2 O que não é resistência à híbrida

As estratégias mais comuns de "reforço" não resistem:

16.3. Algoritmos de hash resistentes

Mesmo que uma senha seja vulnerável ao híbrido estrutural, o algoritmo de hash pode tornar o ataque economicamente inviável:

16.4 Recomendações práticas

17. Referências

Publicações académicas