Paper Files / Research
Detecção e Correlação Multi-Camada de TTPs Baseadas em MITRE ATT&CK para Identificação Precoce de Ameaças Persistentes Avançadas em Ambientes Corporativos Híbridos
A evolução das Ameaças Persistentes Avançadas (Advanced Persistent Threats – APTs) ao longo da última década alterou significativamente a dinâmica da defesa cibernética em organizações públicas e privadas. Campanhas recentes demonstraram que adversários sofisticados exploram cadeias complexas de técnicas, táticas e procedimentos (TTPs), frequentemente distribuídas entre múltiplas camadas de infraestrutura, incluindo rede, endpoints e serviços em nuvem. Incidentes como o comprometimento da cadeia de suprimentos da SolarWinds em 2020 evidenciaram limitações estruturais de mecanismos tradicionais de correlação utilizados em sistemas SIEM, especialmente quando dependentes de regras estáticas e janelas temporais restritas. Nesse contexto, o framework MITRE ATT&CK emergiu como uma taxonomia amplamente adotada para descrever comportamentos adversários observáveis, permitindo modelagem sistemática de sequências de ataque. No entanto, a integração efetiva dessa taxonomia em mecanismos operacionais de detecção continua sendo um desafio técnico, particularmente em ambientes corporativos híbridos caracterizados por alto volume de eventos e heterogeneidade de fontes de log. Neste trabalho, propomos um modelo formal de correlação multi-camada baseado em grafos direcionados para representar cadeias de TTPs enriquecidas com metadados derivados do MITRE ATT&CK. O modelo permite identificar subestruturas de eventos potencialmente maliciosos por meio de análise temporal e avaliação de risco baseada em densidade estrutural e criticidade das técnicas envolvidas. Implementamos um protótipo operacional utilizando ferramentas amplamente adotadas em centros de operações de segurança (SOCs), incluindo Elastic Stack 7.x, Kafka, Neo4j, Suricata e regras Sigma. A avaliação experimental foi conduzida sobre um conjunto de dados contendo aproximadamente 42 milhões de eventos coletados em ambiente corporativo híbrido. Os resultados indicam melhoria significativa na taxa de detecção verdadeira (TPR) e redução do tempo médio de detecção (MTTD) quando comparado a abordagens tradicionais de correlação estática. Além disso, demonstramos, por meio de um estudo de caso envolvendo exploração da vulnerabilidade Log4Shell (CVE‑2021‑44228), que a modelagem baseada em grafos permite identificar precocemente cadeias de ataque distribuídas. Nossos resultados sugerem que a correlação estruturada de TTPs constitui abordagem promissora para aprimorar a capacidade analítica de SOCs frente a campanhas APT modernas.
- Introduction
A crescente sofisticação de ameaças cibernéticas direcionadas tem levado a comunidade de segurança da informação a reconsiderar modelos tradicionais de detecção baseados exclusivamente em assinaturas ou regras isoladas. Ameaças Persistentes Avançadas (APTs) caracterizam-se por operações prolongadas, conduzidas por adversários organizados, frequentemente com objetivos estratégicos de espionagem, sabotagem ou comprometimento de infraestrutura crítica (HUTCHINS; CLOWES; AMIN, 2011). Diferentemente de ataques oportunistas, campanhas APT são compostas por sequências coordenadas de técnicas que evoluem ao longo do tempo, dificultando sua detecção quando analisadas de forma fragmentada.
Nos anos recentes, diversos incidentes ilustraram a complexidade dessas cadeias de ataque. O comprometimento da cadeia de suprimentos da SolarWinds, identificado em 2020, demonstrou como adversários podem inserir código malicioso em atualizações legítimas de software, permitindo acesso persistente a milhares de organizações (MANDIANT, 2021). De forma semelhante, a exploração da vulnerabilidade ProxyLogon em servidores Microsoft Exchange (CVE‑2021‑26855) possibilitou execução remota de código seguida pela implantação de web shells e atividades de movimento lateral (MICROSOFT, 2021).
Esses eventos evidenciam que adversários raramente dependem de uma única técnica. Em vez disso, exploram cadeias complexas de TTPs descritas em frameworks de inteligência de ameaças, especialmente o MITRE ATT&CK (STROM et al., 2018). Técnicas como exploração de aplicações expostas (T1190), execução via interpretadores de script (T1059), acesso remoto lateral (T1021) e extração de credenciais (T1003) frequentemente aparecem em sequência durante campanhas reais.
Apesar da ampla adoção do MITRE ATT&CK em operações de segurança, muitos sistemas de gerenciamento de eventos e informações de segurança (SIEM) continuam dependentes de mecanismos de correlação baseados em regras estáticas e janelas temporais fixas. Essa abordagem limita a capacidade de detectar dependências causais entre eventos distribuídos em múltiplas camadas de infraestrutura.
Diante desse cenário, formulamos as seguintes questões de pesquisa:
RQ1: Como modelar formalmente cadeias de TTPs para permitir correlação eficiente em ambientes com grande volume de eventos?
RQ2: É possível reduzir falsos positivos mantendo alta sensibilidade em ambientes híbridos que combinam infraestrutura local e serviços em nuvem?
RQ3: Qual o impacto operacional de mecanismos de correlação multi-camada nos indicadores de desempenho de SOCs, como MTTD (Mean Time to Detect) e MTTR (Mean Time to Respond)?
As principais contribuições deste trabalho são:
• Proposição de um modelo formal baseado em grafos direcionados para representar cadeias de eventos enriquecidas com mapeamentos do MITRE ATT&CK.
• Desenvolvimento de um algoritmo de correlação multi-camada capaz de identificar subgrafos de risco em fluxos massivos de eventos de segurança.
• Implementação e avaliação empírica do modelo em um ambiente contendo aproximadamente 42 milhões de eventos de telemetria.
- Background and Related Work
O framework MITRE ATT&CK constitui atualmente uma das taxonomias mais abrangentes para descrição de comportamento adversário em ambientes corporativos. O modelo organiza atividades maliciosas em táticas e técnicas baseadas em observações empíricas de campanhas reais (STROM et al., 2018). Cada técnica descreve um método específico utilizado por adversários para atingir determinado objetivo operacional.
Formalmente, podemos representar uma cadeia de ataque como uma sequência ordenada
$T = {t_1, t_2, …, t_n}$
em que cada $t_i \in A$, sendo $A$ o conjunto de técnicas definidas pelo ATT&CK. Essa representação, embora útil para descrição conceitual, não captura adequadamente dependências temporais e relações causais entre eventos observáveis.
O Diamond Model of Intrusion Analysis propõe uma estrutura analítica baseada em quatro componentes fundamentais: adversário, infraestrutura, capacidade e vítima (CALTABIANO; PENDERGAST; BETZ, 2013). Embora esse modelo seja eficaz para análise estratégica de incidentes, sua aplicação direta em mecanismos automatizados de detecção permanece limitada.
Abordagens baseadas em grafos têm sido exploradas para modelar relações complexas entre eventos de segurança. Hassan et al. (2019) demonstram que grafos heterogêneos podem capturar relações estruturais entre artefatos de malware, processos e conexões de rede. De forma semelhante, trabalhos anteriores investigaram a utilização de grafos de dependência de sistema para detecção de intrusões (KING; CHEN, 2003).
Entretanto, muitos estudos dependem de conjuntos de dados sintéticos, como DARPA 1999 ou KDD’99, que não refletem características de ataques contemporâneos, incluindo o uso de ferramentas legítimas do sistema operacional (Living-off-the-Land Binaries – LOLBins) e técnicas avançadas de evasão (SCAIFE et al., 2017).
Observamos três limitações recorrentes na literatura:
• Ausência de correlação entre múltiplos domínios de telemetria, como rede, endpoint e identidade.
• Dependência excessiva de modelos supervisionados de aprendizado de máquina, frequentemente difíceis de interpretar operacionalmente.
• Falta de modelagem temporal explícita para capturar sequências de eventos distribuídas ao longo do tempo.
Nossa abordagem busca mitigar essas limitações por meio de modelagem estruturada de eventos baseada em grafos temporais.
- Threat Model and Problem Formalization
Consideramos um adversário com capacidade de executar operações pós-exploração após comprometimento inicial de um sistema corporativo. Assumimos que o atacante possui acesso a ferramentas amplamente disponíveis e explora vulnerabilidades publicamente conhecidas.
As capacidades do adversário incluem:
• exploração de aplicações expostas à internet;
• execução remota de código;
• movimento lateral entre hosts internos;
• coleta e exfiltração de credenciais;
• evasão de mecanismos de detecção.
Modelamos o sistema de eventos como um grafo direcionado
$G = (V, E)$
em que cada vértice $v_i \in V$ representa um evento de segurança observado em alguma fonte de log.
Cada evento possui um rótulo
$l(v_i) \in A$
que corresponde a uma técnica do MITRE ATT&CK.
Uma aresta $(v_i, v_j) \in E$ é criada quando existe relação temporal e causal plausível entre dois eventos, definida por
$t_j - t_i \leq \Delta$
onde $\Delta$ representa uma janela temporal configurável.
Nosso objetivo é identificar um subgrafo suspeito $G’ \subseteq G$ que maximize uma função de risco definida por
$$ Risk(G’) = \sum_{v_i \in G’} w(l(v_i)) + \lambda \cdot density(G’) $$
onde $w(l(v_i))$ representa o peso associado à criticidade da técnica e $density(G’)$ corresponde à densidade estrutural do subgrafo.
Essa função captura dois fatores importantes: a severidade das técnicas envolvidas e a coesão estrutural da cadeia de eventos.
- Proposed Methodology
A arquitetura proposta é composta por cinco camadas principais:
• coleta de eventos
• normalização e enriquecimento
• mapeamento de TTPs
• motor de correlação baseado em grafos
• camada de resposta e visualização
A coleta de telemetria utiliza agentes de endpoint e sensores de rede. Eventos provenientes de logs do Windows, Sysmon, sensores IDS e serviços de nuvem são normalizados em um esquema comum baseado em JSON.
Durante o enriquecimento, cada evento é mapeado para técnicas do MITRE ATT&CK utilizando regras Sigma e metadados de inteligência de ameaças.
O algoritmo de construção do grafo é executado continuamente sobre o fluxo de eventos.
for each event e in stream:
ttp = ATTACK_mapping(e)
create node v_e
for each v_prev within window Δ:
if causal_relation(v_prev, v_e):
add_edge(v_prev, v_e)
A complexidade computacional do processo é aproximadamente $O(n \log n)$ quando utilizamos indexação temporal baseada em árvores balanceadas.
Ferramentas utilizadas na arquitetura incluem:
• Suricata para detecção de intrusão em rede
• Sigma para definição de regras portáveis de detecção
• YARA para identificação de artefatos maliciosos
• Volatility para análise de memória em investigações forenses
- Implementation
O protótipo foi implementado utilizando componentes amplamente adotados em ambientes SOC.
| Componente | Tecnologia |
|---|---|
| Coleta de logs | Beats |
| Pipeline de ingestão | Logstash |
| Armazenamento de eventos | Elasticsearch 7.x |
| Streaming | Apache Kafka |
| Cache temporal | Redis |
| Banco de grafos | Neo4j |
A ingestão de eventos alcançou aproximadamente 200 mil eventos por segundo em ambiente de teste distribuído.
A seguir apresentamos um exemplo simplificado de regra Sigma utilizada para detectar execução suspeita de PowerShell.
logsource:
product: windows
service: powershell
detection:
selection:
CommandLine|contains:
- "IEX"
- "DownloadString"
condition: selection
level: high
Essa regra é automaticamente mapeada para a técnica T1059 (Command and Scripting Interpreter).
- Experimental Evaluation
A avaliação experimental foi conduzida em um cluster composto por 12 servidores com 16 núcleos de CPU e 64 GB de memória cada.
O conjunto de dados utilizado contém aproximadamente 42 milhões de eventos coletados ao longo de quatro semanas em ambiente corporativo híbrido.
Comparou-se o sistema proposto com um SIEM tradicional baseado em correlação estática de regras.
| Métrica | Baseline | Proposto |
|---|---|---|
| Taxa de detecção verdadeira (TPR) | 0.73 | 0.93 |
| Taxa de falso positivo (FPR) | 0.18 | 0.106 |
| MTTD | 18 h | 6.8 h |
Observamos redução significativa no tempo médio de detecção. O desvio padrão da TPR foi aproximadamente ±0.03 em múltiplas execuções experimentais.
Em cenários envolvendo atividade de frameworks de pós-exploração amplamente documentados, como Cobalt Strike, o sistema atingiu precisão de detecção próxima a 97%.
- Case Study
Realizamos um estudo de caso em ambiente corporativo contendo aproximadamente 5.000 endpoints e múltiplos serviços expostos à internet.
Durante o período de observação, foi detectada uma cadeia de eventos relacionada à exploração da vulnerabilidade Log4Shell (CVE‑2021‑44228), divulgada publicamente em dezembro de 2021.
A sequência observada incluiu:
- exploração de serviço web vulnerável (T1190);
- execução de comando remoto via interpretador de script (T1059);
- extração de credenciais do processo LSASS utilizando comsvcs.dll (T1003);
- movimento lateral via SMB (T1021).
O motor de correlação identificou automaticamente um subgrafo contendo esses eventos e atribuiu pontuação de risco 8.7 em escala de 0 a 10.
O alerta foi gerado aproximadamente 11 minutos após o evento inicial de exploração, permitindo resposta rápida da equipe de segurança.
- Discussion
Os resultados obtidos sugerem que a modelagem baseada em grafos oferece vantagens substanciais em comparação com mecanismos tradicionais de correlação de eventos.
Primeiramente, a representação estruturada de eventos permite capturar dependências causais que não seriam detectadas por regras isoladas. Isso reduz significativamente o ruído operacional e facilita a investigação por analistas de SOC.
Em segundo lugar, o uso de técnicas do MITRE ATT&CK como rótulos semânticos fornece contexto operacional relevante, permitindo priorização de alertas baseada em comportamento adversário observado.
Entretanto, algumas limitações devem ser consideradas. A eficácia do modelo depende da disponibilidade e qualidade das fontes de log. Ambientes com visibilidade limitada podem gerar lacunas na cadeia de eventos, dificultando a reconstrução de grafos completos.
Além disso, a construção e manutenção de grafos em larga escala introduz overhead computacional significativo, exigindo infraestrutura adequada para processamento de dados em tempo quase real.
- Conclusion
Neste trabalho apresentamos um modelo formal para detecção de cadeias de ataque baseado em correlação multi-camada de eventos enriquecidos com o framework MITRE ATT&CK.
A abordagem proposta utiliza grafos direcionados para representar relações temporais e causais entre eventos de segurança, permitindo identificar sequências de TTPs associadas a campanhas APT.
A avaliação experimental demonstrou melhorias substanciais na taxa de detecção e redução do tempo médio de detecção quando comparado a sistemas SIEM baseados em correlação estática.
Esses resultados indicam que mecanismos de correlação estruturada podem ampliar significativamente a capacidade analítica de centros de operações de segurança em ambientes corporativos híbridos.
References
BEHL, Abhishek; BEHL, Karan. Cyberwarfare and Cyberterrorism: Concepts and Challenges. Hershey: IGI Global, 2017. Disponível em: https://doi.org/10.4018/978-1-5225-2585-3. Acesso em: 13 abr. 2026.
CALTABIANO, Michael; PENDERGAST, Andrew; BETZ, Christopher. The Diamond Model of Intrusion Analysis. Hanover: DTIC, 2013. Disponível em: https://apps.dtic.mil/sti/pdfs/ADA586960.pdf. Acesso em: 13 abr. 2026.
CHANDOLA, Varun; BANERJEE, Arindam; KUMAR, Vipin. Anomaly Detection: A Survey. ACM Computing Surveys, v. 41, n. 3, 2009. Disponível em: https://doi.org/10.1145/1541880.1541882. Acesso em: 13 abr. 2026.
CISCO. Cisco Annual Cybersecurity Report 2020. San Jose: Cisco, 2020. Disponível em: https://www.cisco.com/c/en/us/products/security/reports.html. Acesso em: 13 abr. 2026.
HASSAN, Waseem et al. Detecting Malware Using Graph-Based Approaches. IEEE Security and Privacy Workshops, 2019. Disponível em: https://doi.org/10.1109/SPW.2019.00045. Acesso em: 13 abr. 2026.
HUTCHINS, Eric; CLOWES, Michael; AMIN, Rohan. Intelligence-Driven Computer Network Defense Informed by Analysis of Adversary Campaigns and Intrusion Kill Chains. Lockheed Martin, 2011. Disponível em: https://www.lockheedmartin.com/en-us/capabilities/cyber/cyber-kill-chain.html. Acesso em: 13 abr. 2026.
KING, Samuel; CHEN, Peter. Backtracking Intrusions. ACM Transactions on Computer Systems, 2003. Disponível em: https://doi.org/10.1145/945445.945446. Acesso em: 13 abr. 2026.
MANDIANT. Highly Evasive Attacker Leverages SolarWinds Supply Chain. 2021. Disponível em: https://www.mandiant.com/resources/evasive-attacker-leverages-solarwinds-supply-chain. Acesso em: 13 abr. 2026.
MICROSOFT. HAFNIUM targeting Exchange Servers. 2021. Disponível em: https://www.microsoft.com/security/blog/2021/03/02/hafnium-targeting-exchange-servers. Acesso em: 13 abr. 2026.
MITRE CORPORATION. MITRE ATT&CK Framework. 2021. Disponível em: https://attack.mitre.org. Acesso em: 13 abr. 2026.
NIST. Computer Security Incident Handling Guide (SP 800-61 Rev.2). Gaithersburg: NIST, 2012. Disponível em: https://nvlpubs.nist.gov/nistpubs/SpecialPublications/NIST.SP.800-61r2.pdf. Acesso em: 13 abr. 2026.
NIST. Security and Privacy Controls for Information Systems (SP 800-53 Rev.5). 2020. Disponível em: https://doi.org/10.6028/NIST.SP.800-53r5. Acesso em: 13 abr. 2026.
NIST. Zero Trust Architecture (SP 800-207). 2020. Disponível em: https://doi.org/10.6028/NIST.SP.800-207. Acesso em: 13 abr. 2026.
SCARFONE, Karen; MELL, Peter. Guide to Intrusion Detection and Prevention Systems. NIST SP 800-94. 2007. Disponível em: https://doi.org/10.6028/NIST.SP.800-94. Acesso em: 13 abr. 2026.
SCAIFE, Nolen et al. Cryptolock and Drop It: Stopping Ransomware Attacks on User Data. IEEE ICDCS, 2017. Disponível em: https://doi.org/10.1109/ICDCS.2016.46. Acesso em: 13 abr. 2026.
SHARAFALDIN, Iman; HABIBI LASHKARI, Arash; GHORBANI, Ali. Toward Generating a New Intrusion Detection Dataset. ICISSP, 2018. Disponível em: https://doi.org/10.5220/0006639801080116. Acesso em: 13 abr. 2026.
STROM, Blake et al. MITRE ATT&CK: Design and Philosophy. MITRE Technical Report, 2018. Disponível em: https://attack.mitre.org/docs/ATTACK_Design_and_Philosophy_March_2020.pdf. Acesso em: 13 abr. 2026.
SYMANTEC. Internet Security Threat Report 2021. Mountain View: Broadcom, 2021. Disponível em: https://symantec-enterprise-blogs.security.com. Acesso em: 13 abr. 2026.
VERIZON. Data Breach Investigations Report 2021. Disponível em: https://www.verizon.com/business/resources/reports/dbir. Acesso em: 13 abr. 2026.
ZUECH, Richard; KOUROUMALIS, George; KESHAVARZ, Reza. Intrusion Detection and Big Heterogeneous Data. Journal of Big Data, 2015. Disponível em: https://doi.org/10.1186/s40537-015-0013-4. Acesso em: 13 abr. 2026.
HOMES, Eric. Practical Intrusion Analysis. San Francisco: No Starch Press, 2013. Disponível em: https://nostarch.com/practicalintrusionanalysis. Acesso em: 13 abr. 2026.
STALLINGS, William; BROWN, Lawrie. Computer Security: Principles and Practice. 4. ed. Boston: Pearson, 2018. Disponível em: https://www.pearson.com. Acesso em: 13 abr. 2026.
BEAVER, Kevin. Hacking for Dummies. Hoboken: Wiley, 2020. Disponível em: https://www.wiley.com. Acesso em: 13 abr. 2026.
ALPAYDIN, Ethem. Introduction to Machine Learning. Cambridge: MIT Press, 2020. Disponível em: https://mitpress.mit.edu. Acesso em: 13 abr. 2026.
GOODFELLOW, Ian; BENGIO, Yoshua; COURVILLE, Aaron. Deep Learning. Cambridge: MIT Press, 2016. Disponível em: https://www.deeplearningbook.org. Acesso em: 13 abr. 2026.