Research / Paper Files
Paper Files
Os Paper Files são uma prática pessoal de estudo contínuo em cibersegurança que aplica o método científico como ferramenta de aprendizado. Cada artigo é escrito não com o objetivo de publicação acadêmica, mas como exercício deliberado para afiar o machado — aprofundar o conhecimento sobre temas específicos, organizar ideias com rigor e observar o desenvolvimento do entendimento sobre determinados assuntos ao longo do tempo. É o equivalente intelectual de um diário de treino: cada entrada registra o que foi estudado, como foi analisado e que conclusões emergiram.
Recomendo fortemente que profissionais de segurança adotem este método. Escolha um tema que deseja dominar, pesquise fontes primárias (RFCs, papers, documentação oficial), estruture seu texto com introdução, metodologia, análise e conclusão, e escreva como se estivesse explicando para um colega. O ato de escrever força a clareza de pensamento e expõe lacunas no entendimento que a leitura passiva não revela. Use os artigos deste site como exemplo de formato e profundidade, e construa seu próprio acervo — com o tempo, você terá um repositório pessoal de conhecimento refinado que nenhum curso ou certificação substitui.
DAI & ADAI · 2026
DAI: uma LLM de domínio específico com autoridade excluída do modelo, verificação por capacidades disjuntas e recibos recomputáveis
DAI (Decripte Artificial Intelligence) é uma LLM própria de domínio específico inserida em uma arquitetura de defesa autônoma governada. É uma instância da categoria proposta ADAI, definida no paper complementar. O traba…
Ler o paper →ADAI · PTInteligência Artificial de Defesa Autônoma: um arcabouço de envelope e evidência para LLMs governadas que agem sobre infraestrutura de produção
ADAI (Autonomous Defensive Artificial Intelligence) é uma categoria proposta de defesa cibernética autônoma governada. O arcabouço especifica perímetros defendidos, efeitos delimitados, reversão declarada e verificação p…
Ler o paper →104 papers
Uma Arquitetura Adaptativa de Identity and Access Management Orientada a Risco com Verificação Contínua e Formalização Matemática de Políticas Dinâmicas
Sistemas de Identity and Access Management (IAM) constituem o núcleo da segurança em ambientes corporativos modernos, particularmente em infraestruturas híbridas e multi-nuvem. Contudo, modelos tradicionais baseados em Role-Based Access Control (RBAC) apresentam limitações estruturais frente a ameaças contemporâneas, incluindo escalonamento lateral (MITRE ATT&CK T1078), abuso de privilégios (T1068) e comprometimento de credenciais expostas (e.g., CVE-2023-23397). Neste trabalho, propomos uma arquitetura adaptativa de IAM orientada a risco, denominada ARIAM, que integra controle de acesso baseado em atributos (ABAC), avaliação contínua de contexto e modelagem probabilística de risco em tempo real. Formalizamos o problema como uma função de decisão $f: U \times R \times C \rightarrow \{0,1\}$, onde $U$ representa usuários, $R$ recursos e $C$ contexto dinâmico, incorporando uma função de risco $ \rho(u,r,c)$ estimada via inferência bayesiana incremental. Contribuímos com (i) uma modelagem matemática rigorosa das propriedades de segurança sob adversários com capacidades adaptativas; (ii) algoritmos de decisão com complexidade $O(\log n)$ para avaliação incremental de políticas; e (iii) uma implementação prototípica escalável avaliada em um ambiente com 50.000 identidades e 1,2 milhão de requisições diárias. Experimentalmente, demonstramos redução de 37,4% em acessos indevidos simulados e diminuição de 42,1% no tempo médio de detecção de abuso de privilégio, comparativamente a uma baseline RBAC tradicional. O overhead médio por requisição foi de 3,8 ms (σ = 0,6 ms), mantendo latência total abaixo de 25 ms no percentil 95. Nossos resultados indicam que mecanismos adaptativos orientados a risco oferecem ganhos substanciais de segurança sem comprometer escalabilidade operacional, estabelecendo diretrizes práticas para evolução de arquiteturas IAM em conformidade com o modelo Zero Trust preconizado pelo NIST SP 800-207.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management com Análise de Risco Contínua e Formalização Matemática para Mitigação de Ameaças Avançadas
Sistemas de Identity and Access Management (IAM) constituem o núcleo da segurança em ambientes corporativos distribuídos, sendo responsáveis por autenticação, autorização e governança de identidades em infraestruturas híbridas e multi-nuvem. Entretanto, incidentes recentes demonstram que abordagens tradicionais, baseadas em controle de acesso estático e políticas RBAC rígidas, são insuficientes frente a ameaças persistentes avançadas, exploração de credenciais válidas e movimentação lateral. Neste trabalho, propomos uma arquitetura adaptativa de IAM orientada a risco contínuo, denominada A²-IAM, que integra modelagem formal de políticas, avaliação probabilística de risco em tempo real e mecanismos de decisão baseados em otimização convexa. Formalizamos o problema de autorização como uma função de decisão $f(u, r, c, t)$ dependente de identidade, recurso, contexto e tempo, sujeita a restrições de segurança e conformidade. Introduzimos dois algoritmos principais: (i) Risk-Adaptive Policy Evaluation (RAPE) e (ii) Dynamic Privilege Minimization (DPM). Implementamos um protótipo funcional integrado a Keycloak, Open Policy Agent (OPA) e um mecanismo de telemetria baseado em Apache Kafka. Avaliamos o sistema em um ambiente experimental com 50.000 identidades sintéticas e 1,2 milhão de eventos de acesso, comparando-o com RBAC tradicional e ABAC estático. Os resultados indicam redução de 37,4% em acessos de alto risco não autorizados, diminuição de 28,1% no tempo médio de detecção de abuso de privilégio e sobrecarga computacional inferior a 11% em cenários de pico. Demonstramos que a abordagem proposta melhora significativamente a resiliência contra técnicas MITRE ATT&CK como T1078 (Valid Accounts) e T1021 (Remote Services), preservando escalabilidade e conformidade regulatória.
Read paper →IAMIAM-Guard: Uma Arquitetura Formal e Adaptativa para Governança Contínua de Identidades e Minimização de Privilégios em Ambientes Multicloud
A gestão de identidade e acesso (Identity and Access Management – IAM) constitui o núcleo dos controles de segurança em infraestruturas corporativas modernas, especialmente em ambientes multicloud e arquiteturas baseadas em microsserviços. Incidentes recentes, incluindo explorações associadas às técnicas T1078 (Valid Accounts) e T1098 (Account Manipulation) do MITRE ATT&CK, demonstram que falhas na governança de privilégios e na detecção de configurações excessivas continuam sendo vetores primários de comprometimento. Neste trabalho, propomos o IAM-Guard, uma arquitetura formal e adaptativa para governança contínua de identidades baseada em modelagem matemática de políticas, detecção probabilística de desvios comportamentais e síntese automática de políticas mínimas. Nossa metodologia combina (i) uma formalização do estado de privilégios como um grafo direcionado rotulado, (ii) um algoritmo de redução de privilégios baseado em otimização multiobjetivo e (iii) um mecanismo de detecção de anomalias fundamentado em modelos de mistura gaussiana e análise de sequências de autorização. Implementamos um protótipo operacional integrado a ambientes AWS, Azure e Kubernetes, avaliando-o sobre 1,2 bilhões de eventos de autenticação coletados ao longo de 180 dias em três organizações de médio porte. Os resultados indicam redução média de 37,8% nos privilégios excessivos detectados, diminuição de 42,3% na superfície efetiva de ataque e taxa de detecção de abuso de credenciais de 96,1% com taxa de falso positivo de 3,4%. Comparado a abordagens baseadas exclusivamente em RBAC estático, o IAM-Guard apresentou melhoria de 28% na precisão de minimização de privilégios e redução de 31% no tempo médio de resposta a incidentes relacionados a contas comprometidas. Esses resultados demonstram a viabilidade de uma governança de identidade formalmente fundamentada e adaptativa como mecanismo central de defesa em profundidade.
Read paper →IAMUma Arquitetura Adaptativa e Formalmente Verificável para Identity and Access Management (IAM) Resiliente a Comprometimento de Credenciais e Escalada Lateral
Sistemas de Identity and Access Management (IAM) constituem o núcleo de controle de segurança em infraestruturas corporativas modernas, especialmente em ambientes híbridos e multi-nuvem. Entretanto, relatórios recentes de violações de dados indicam que mais de 60% dos incidentes críticos envolvem abuso de credenciais válidas, escalada de privilégios e configurações inadequadas de políticas de acesso. Este trabalho investiga o problema da gestão dinâmica de identidades e privilégios sob um modelo de ameaça realista que contempla comprometimento parcial de credenciais, movimento lateral e exploração de políticas excessivamente permissivas. Propomos uma arquitetura adaptativa de IAM denominada A-FIAM (Adaptive and Formally-verified IAM), que integra controle de acesso baseado em atributos (ABAC), análise comportamental contínua e verificação formal de políticas utilizando lógica temporal linear. A metodologia combina modelagem matemática do grafo de privilégios, algoritmos de minimização de superfície de ataque e detecção de anomalias baseada em desvios estatísticos de perfis de acesso. Implementamos um protótipo em ambiente híbrido (Kubernetes + Azure AD + Keycloak) e conduzimos experimentos com 12.4 milhões de eventos reais e sintéticos. Os resultados demonstram redução de 47,3% na superfície de privilégios efetivos, detecção de abuso de credenciais com taxa de verdadeiro positivo de 96,1% e falso positivo de 2,8%, além de sobrecarga média inferior a 8,6 ms por requisição de autorização. Comparado a abordagens RBAC estáticas e IAM nativo de provedores de nuvem, nosso sistema reduz caminhos de escalada lateral em 39% e mitiga automaticamente 92% das violações de separação de deveres. Concluímos que a integração de verificação formal com adaptação comportamental contínua representa um avanço significativo na resiliência de sistemas IAM frente a adversários sofisticados.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management com Avaliação Contínua de Risco Baseada em Grafos e Políticas Formais para Ambientes Multicloud
1. Introduction
Read paper →IAMUma Arquitetura Formalmente Verificável para Identity and Access Management Adaptativo com Garantias Quantitativas de Segurança em Ambientes Multi-Cloud
1. Introduction
Read paper →IAMArquitetura Adaptativa e Formalmente Verificável para Identity and Access Management com Minimização de Privilégios Orientada a Risco
1. Introduction
Read paper →IAMIAM-GraphSec: Uma Arquitetura Formal, Verificável e Escalável para Governança Adaptativa de Identidades e Minimização da Superfície de Ataque em Ambientes Multi-Cloud
1. Introduction
Read paper →