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 →110 papers
Gestão e Proteção de Segredos em Sistemas Computacionais Conectados: Análise Operacional de Senhas, Chaves Criptográficas e Credenciais em Redes UNIX e ARPANET (1989)
A proteção de “segredos” — incluindo senhas, chaves criptográficas e credenciais de autenticação — constitui um dos pilares fundamentais da segurança em sistemas computacionais interconectados. No final da década de 1980, a expansão de redes acadêmicas e governamentais como ARPANET, MILNET e diversas redes UNIX baseadas em TCP/IP expôs fragilidades operacionais significativas relacionadas ao armazenamento, transmissão e gestão desses segredos. Incidentes como o Worm de Morris em 1988 demonstraram que a exploração sistemática de senhas fracas, serviços mal configurados e mecanismos inadequados de autenticação pode levar à propagação automatizada de código malicioso em larga escala. Este trabalho examina a natureza técnica dos segredos dentro de ambientes computacionais típicos de 1989, com foco particular em sistemas UNIX, mecanismos de autenticação distribuída (como Kerberos), criptografia simétrica e assimétrica, e práticas operacionais de administração de sistemas. Propomos um modelo formal de ameaça para exposição de segredos, considerando atacantes com acesso à rede, usuários internos maliciosos e comprometimento de hosts intermediários. Em seguida, apresentamos uma metodologia prática para inventário, proteção e monitoramento de segredos utilizando ferramentas e técnicas disponíveis no período, incluindo análise de arquivos `/etc/passwd`, captura de tráfego com tcpdump, auditorias automatizadas via COPS (Computer Oracle and Password System) e protocolos criptográficos baseados em DES e RSA. A avaliação experimental foi conduzida em um ambiente UNIX BSD conectado via Ethernet, simulando cenários realistas de ataque envolvendo sniffing de credenciais, ataques de dicionário contra hashes DES e reutilização de senhas entre serviços rlogin, telnet e FTP. Os resultados demonstram que grande parte das exposições decorre não de falhas criptográficas, mas de deficiências operacionais na gestão de segredos. Por fim, discutimos implicações para arquiteturas de autenticação distribuída e propomos direções futuras envolvendo autenticação baseada em tickets, melhoria na entropia de senhas e segregação de privilégios administrativos. Este estudo contribui para a compreensão sistemática da proteção de segredos em ambientes de rede emergentes e estabelece bases práticas para defesa operacional contra comprometimentos em larga escala.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Interconectados: Fundamentos Criptográficos, Modelagem de Ameaças e Avaliação Experimental no Contexto de 1988
A proteção de “segredos” — entendidos como senhas, chaves criptográficas, credenciais de autenticação, parâmetros de configuração sensíveis e informações estratégicas — constitui o núcleo da segurança computacional em sistemas interconectados. Em 1988, com a consolidação da pilha TCP/IP na ARPANET e a crescente interligação de universidades, centros de pesquisa e organizações governamentais, a exposição indevida de segredos tornou-se vetor primário de comprometimento sistêmico. Este artigo apresenta uma análise abrangente dos fundamentos técnicos e operacionais da gestão de segredos, contextualizando ameaças reais como o worm de Morris (1988) e vulnerabilidades decorrentes de autenticação fraca, reutilização de senhas e armazenamento inseguro em sistemas UNIX. Inicialmente, estabelecemos o arcabouço conceitual com base em modelos clássicos como Bell-LaPadula e na avaliação de sistemas segundo o Orange Book (TCSEC). Em seguida, formalizamos um modelo de ameaça voltado à captura, inferência e reutilização de segredos em ambientes multiusuário e redes IP. Propomos uma metodologia estruturada que combina controles criptográficos (DES, RSA), autenticação centralizada (Kerberos), segregação de privilégios, auditoria de logs e monitoramento de tráfego via tcpdump. A implementação experimental foi conduzida em estações UNIX BSD interconectadas por Ethernet 10Base5, avaliando resistência a ataques de interceptação, força bruta offline e exploração de serviços vulneráveis. Resultados quantitativos demonstram que políticas de senha robustas associadas a autenticação baseada em tickets reduzem significativamente a superfície de ataque, ainda que introduzam desafios operacionais como sincronização de relógio e gestão de chaves mestras. Concluímos discutindo limitações práticas, impacto no desempenho e direções futuras, incluindo padronização de infraestrutura de chaves públicas (X.509) e mecanismos formais de rotação de segredos. Este trabalho busca consolidar uma doutrina operacional para proteção de segredos compatível com o estado da arte técnico de 1988.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Conectados: Modelagem de Ameaças, Controles Criptográficos e Análise Empírica no Contexto de Redes TCP/IP em 1988
A proteção de segredos constitui o núcleo da segurança da informação em ambientes computacionais interconectados. Em 1988, com a consolidação do TCP/IP na ARPANET e a crescente adoção de sistemas UNIX em ambientes acadêmicos, militares e corporativos, a exposição de credenciais, chaves criptográficas e informações sensíveis tornou-se um vetor crítico de comprometimento sistêmico. O incidente do worm de Morris, ocorrido no mesmo ano, evidenciou a fragilidade dos mecanismos de autenticação baseados em confiança implícita e na reutilização de senhas. Este trabalho apresenta uma análise sistemática do conceito de “segredo” em sistemas distribuídos, formalizando o problema sob um modelo adversarial realista para redes IP e ambientes multiusuário UNIX. Discutimos propriedades criptográficas fundamentais, incluindo confidencialidade baseada em DES, troca de chaves via RSA e princípios de Kerberos recém-introduzido pelo Projeto Athena. Propomos uma metodologia operacional para inventário, classificação, armazenamento, transmissão e auditoria de segredos, apoiada em controles técnicos como criptografia simétrica, funções hash criptográficas (MD4), segmentação de privilégios e monitoramento de tráfego com `tcpdump`. Implementamos protótipos experimentais em BSD 4.3 e SunOS, avaliando impacto de desempenho, resistência a ataques de interceptação e exploração de serviços remotos (e.g., `fingerd`, `rsh`, `sendmail`). Resultados experimentais demonstram redução significativa de exposição de credenciais sob cenários de sniffing passivo e exploração remota. Apresentamos ainda um estudo de caso envolvendo comprometimento por reutilização de senhas e ausência de controle de acesso rigoroso. Concluímos que a gestão estruturada de segredos, aliada a princípios criptográficos sólidos e disciplina operacional, é requisito essencial para a segurança de redes abertas. O trabalho estabelece bases práticas e teóricas para políticas institucionais de proteção de segredos no final da década de 1980.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Conectados: Modelos, Vulnerabilidades e Contramedidas no Contexto das Redes Acadêmicas de 1988
A proteção de segredos — senhas, chaves criptográficas, tokens de autenticação e informações classificadas — constitui o núcleo da segurança em sistemas computacionais interconectados. Em 1988, com a expansão da ARPANET, da NSFNET e de redes acadêmicas baseadas em UNIX, a superfície de ataque associada à exposição de segredos cresceu significativamente. Incidentes recentes, incluindo o worm de Morris, evidenciaram que falhas na gestão de credenciais e na validação de entradas podem levar à propagação automatizada de código malicioso e à exfiltração de informações sensíveis. Este trabalho apresenta uma análise sistemática do conceito de “segredo” sob a perspectiva de segurança de sistemas, integrando fundamentos teóricos — como os modelos de Bell-LaPadula e Biba — a mecanismos práticos implementados em sistemas UNIX, Kerberos e infraestruturas baseadas em DES e RSA. Formalizamos um modelo de ameaça específico para redes acadêmicas de 1988, no qual adversários exploram serviços remotos (sendmail, fingerd, rsh) para capturar credenciais e chaves. Propomos uma metodologia operacional para inventário, classificação, armazenamento e rotação de segredos, combinando controles técnicos (hashing com salt, criptografia simétrica, autenticação baseada em tickets) e controles administrativos alinhados ao TCSEC (Orange Book). Implementamos um protótipo em ambiente BSD UNIX, utilizando COPS para auditoria e tcpdump para monitoramento de tráfego, avaliando empiricamente a redução de exposição de segredos sob diferentes configurações. Resultados experimentais demonstram que a adoção de autenticação centralizada com Kerberos e a eliminação de serviços baseados em confiança implícita (rsh/rlogin) reduzem drasticamente a probabilidade de comprometimento lateral. Concluímos discutindo limitações práticas — desempenho criptográfico, gestão de chaves, usabilidade — e delineamos direções futuras, incluindo autenticação baseada em hardware e maior formalização de políticas de ciclo de vida de segredos. O estudo consolida fundamentos teóricos e prática operacional, oferecendo diretrizes aplicáveis ao cenário tecnológico de 1988.
Read paper →SecretsArquitetura Unificada para Descoberta, Classificação e Proteção de Segredos em Ambientes Multi‑Cloud: Modelo Formal, Propriedades de Correção e Avaliação Empírica em Escala Operacional
A exposição indevida de segredos digitais — incluindo chaves criptográficas, tokens de autenticação, credenciais de banco de dados e certificados — constitui um dos vetores mais recorrentes de comprometimento inicial em infraestruturas corporativas. Relatórios amplamente utilizados na indústria de segurança indicam que o uso indevido de credenciais válidas e o vazamento acidental de informações sensíveis continuam entre os principais mecanismos de acesso inicial explorados por adversários (VERIZON, 2021; MITRE, 2021). Em ambientes multi‑cloud e pipelines DevOps altamente automatizados, a proliferação de infraestrutura como código, integração contínua e microserviços aumenta substancialmente a superfície de exposição de segredos, tornando insuficientes abordagens isoladas baseadas exclusivamente em expressões regulares ou inspeção manual. Neste trabalho apresentamos uma arquitetura unificada para descoberta contínua, classificação formalmente fundamentada e orquestração automatizada de resposta a exposições de segredos em ambientes distribuídos. Nossa contribuição é tripla. Primeiro, formalizamos o problema de detecção de segredos como um problema de decisão sob restrições de latência e sensibilidade mínima, introduzindo definições matemáticas para segredo, exposição temporal e classificação híbrida baseada em entropia contextual e análise estrutural. Segundo, analisamos propriedades de correção parcial e complexidade computacional dos algoritmos propostos, demonstrando que o custo assintótico por artefato permanece linear no tamanho da entrada. Terceiro, conduzimos uma avaliação empírica em ambiente operacional representativo, comparando diferentes estratégias de detecção — incluindo regex, entropia pura e ferramentas open‑source amplamente utilizadas — por meio de métricas como precisão, revocação e redução do tempo médio de exposição de segredos (Mean Secret Exposure Time – MSET). Complementamos a análise com estudos de caso em setores regulados, descrevendo integração com SIEM, regras YARA e Sigma, e automação de rotação de credenciais baseada em cofres criptográficos alinhados às recomendações do NIST SP 800‑57. Os resultados indicam que a combinação de detecção contínua, classificação híbrida e resposta automatizada reduz significativamente a janela operacional de exploração sem introduzir overhead substancial em pipelines modernos de desenvolvimento.
Read paper →SecretsEngenharia e Operacionalização de Segredos em Ecossistemas Híbridos: Modelo Formal, Detecção Ativa e Mitigação Automatizada contra Vazamento de Credenciais
A proteção de credenciais, chaves criptográficas e tokens de autenticação constitui um dos problemas operacionais mais persistentes na segurança de sistemas distribuídos. Em ambientes corporativos contemporâneos — caracterizados por pipelines de integração contínua, infraestrutura em nuvem e colaboração intensiva em repositórios de código — a exposição inadvertida de segredos tornou-se um vetor recorrente de comprometimento inicial. Diferentemente de vulnerabilidades clássicas de software, a exploração de credenciais válidas permite que adversários contornem mecanismos de autenticação e operem sob identidade legítima, reduzindo drasticamente a necessidade de exploração técnica sofisticada. Relatórios de incidentes e estudos empíricos demonstram que credenciais comprometidas permanecem entre os vetores predominantes de intrusão em organizações públicas e privadas. Este trabalho apresenta um modelo formal para representação de segredos operacionais e suas dependências de privilégio em ambientes híbridos, combinando análise de entropia, correspondência sintática e validação ativa para reduzir falsos positivos na detecção automática. Propomos ainda um mecanismo de priorização baseado em teoria de grafos para estimar impacto operacional de credenciais expostas, permitindo que sistemas de resposta automatizada priorizem revogação e rotação com base em centralidade e privilégio efetivo. A arquitetura resultante integra sensores distribuídos em pipelines de desenvolvimento, mecanismos de inspeção de repositórios e telemetria de rede com sistemas de gerenciamento de segredos, permitindo detecção e mitigação quase em tempo real. Avaliamos a abordagem em um conjunto experimental composto por repositórios públicos e commits sintéticos contendo diferentes categorias de credenciais. Os resultados indicam melhoria significativa na precisão em comparação com detectores baseados exclusivamente em padrões sintáticos ou limiares de entropia. Observamos redução substancial na taxa de falsos positivos, ao mesmo tempo em que mantemos elevada sensibilidade na identificação de credenciais válidas. Além disso, demonstramos que a integração com sistemas automatizados de rotação pode reduzir a janela média de exposição de credenciais comprometidas de dezenas de minutos para poucos minutos. Concluímos que a combinação de modelagem formal, validação ativa e automação de resposta constitui uma abordagem robusta para a operacionalização segura de segredos em infraestruturas modernas.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Conectados: Modelagem de Ameaças, Criptografia e Controles Operacionais no Contexto de 1988
A proteção de “segredos” — entendidos como senhas, chaves criptográficas, códigos-fonte proprietários, credenciais de acesso e informações confidenciais armazenadas ou transmitidas por sistemas computacionais — constitui um dos pilares centrais da segurança da informação em 1988. Com a expansão das redes acadêmicas (ARPANET, NSFNET), o uso crescente de sistemas UNIX multiusuário, a difusão de mainframes corporativos e o advento de estações de trabalho interconectadas, a superfície de ataque associada à exposição de segredos tornou-se significativamente mais ampla. Incidentes como o Worm da Internet de 1988 evidenciam que a exploração de falhas técnicas pode resultar na obtenção indevida de credenciais e na propagação automatizada de código malicioso. Este trabalho apresenta uma análise sistemática dos mecanismos de proteção de segredos disponíveis até 1988, fundamentando-se em modelos formais de ameaça, propriedades criptográficas (confidencialidade, integridade e autenticidade) e controles operacionais aplicáveis a ambientes UNIX e mainframe. São discutidas técnicas de armazenamento seguro de senhas (incluindo funções de hash unidirecionais baseadas em DES), controle de acesso baseado em DAC e MAC, uso de criptografia simétrica (DES) e assimétrica (RSA), protocolos de autenticação (Kerberos), bem como práticas de auditoria e monitoramento. Propõe-se uma metodologia integrada de classificação, armazenamento, transmissão e rotação de segredos, acompanhada de implementação prática em ambiente UNIX BSD. Resultados experimentais demonstram a eficácia de políticas de senha robustas, segregação de privilégios e proteção do arquivo `/etc/passwd` contra leitura indiscriminada. Um estudo de caso baseado em redes acadêmicas interconectadas ilustra os riscos de engenharia social, sniffing em redes Ethernet e reutilização de credenciais. Conclui-se que a gestão adequada de segredos requer integração entre criptografia sólida, arquitetura segura de sistemas, procedimentos administrativos rigorosos e conscientização dos usuários, constituindo área crítica de pesquisa e prática operacional na segurança computacional contemporânea.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Multiusuário Conectados por Redes TCP/IP: Modelagem de Ameaças, Mecanismos Criptográficos e Controles Operacionais (1988)
A proteção de segredos — entendidos como senhas, chaves criptográficas, códigos-fonte proprietários, dados financeiros e informações estratégicas — constitui o núcleo da segurança em ambientes computacionais multiusuário interconectados por redes TCP/IP. Em 1988, com a expansão de redes acadêmicas e corporativas baseadas em UNIX, ARPANET, MILNET e redes locais Ethernet, a superfície de ataque associada ao armazenamento, processamento e transmissão de segredos cresce de forma significativa. Este trabalho apresenta uma análise sistemática dos mecanismos técnicos e operacionais para proteção de segredos conforme o estado da arte até 1988, incluindo autenticação baseada em senhas, armazenamento protegido com funções unidirecionais (DES-crypt), criptografia simétrica (DES), criptografia de chave pública (RSA), protocolos de autenticação (Kerberos), controle de acesso discricionário em UNIX, segurança em correio eletrônico (Privacy Enhanced Mail), e mecanismos físicos e administrativos. Desenvolvemos um modelo formal de ameaça para ambientes multiusuário conectados via TCP/IP, caracterizando adversários internos e externos, vetores de interceptação e comprometimento de credenciais, e propriedades desejadas de confidencialidade, integridade e disponibilidade. Propomos uma metodologia integrada combinando segregação de privilégios, compartimentalização de arquivos sensíveis, uso de criptografia de transporte e repouso, auditoria de acessos e rotação periódica de chaves. Implementamos experimentalmente controles em sistemas UNIX 4.3BSD e System V, avaliando resistência a ataques de dicionário offline contra arquivos `/etc/passwd`, interceptação via sniffing em redes Ethernet compartilhadas, e análise de impacto de políticas de senha. Os resultados demonstram que a combinação de hashing com salt, políticas de senha robustas e criptografia fim-a-fim reduz significativamente a probabilidade de comprometimento, embora limitações de desempenho e usabilidade permaneçam. Apresentamos estudo de caso envolvendo exfiltração de código-fonte em ambiente acadêmico, discutindo lições operacionais. Concluímos que a proteção eficaz de segredos exige integração entre criptografia formal, controles de sistema operacional e governança organizacional, estabelecendo fundamentos técnicos para futuras arquiteturas seguras.
Read paper →SecretsGestão, Proteção e Exploração de Segredos em Sistemas Computacionais Interconectados: Modelagem Formal, Ataques e Contramedidas no Contexto de 1988
A proteção de “segredos” — entendidos como informações cuja divulgação não autorizada compromete confidencialidade, integridade ou disponibilidade de sistemas — constitui o núcleo da segurança computacional em ambientes interconectados. Em 1988, com a consolidação do modelo TCP/IP, a expansão da ARPANET/NSFNET e a crescente interligação de sistemas UNIX e mainframes, a gestão inadequada de senhas, chaves criptográficas, arquivos de configuração e credenciais administrativas tornou-se vetor primário de intrusões. Este trabalho apresenta uma análise sistemática da natureza dos segredos digitais, propondo um modelo formal para sua classificação, armazenamento e circulação em redes distribuídas. Partimos de fundamentos clássicos da criptografia moderna, incluindo DES, criptografia de chave pública e funções unidirecionais, e integramos tais conceitos a práticas operacionais observadas em ambientes UNIX, VMS e IBM MVS. Desenvolvemos um modelo de ameaça realista para 1988, considerando atacantes externos conectados via redes acadêmicas, insiders com acesso privilegiado e agentes que exploram vulnerabilidades como buffer overflows e reutilização de senhas. Propomos uma metodologia prática de gestão de segredos baseada em compartimentalização, derivação criptográfica, controle de acesso baseado em listas (ACLs) e monitoramento por detecção de assinaturas. Implementamos protótipos em sistemas UNIX utilizando hashing de senhas, controle de permissões e inspeção de tráfego via tcpdump e Snort. Avaliamos experimentalmente cenários de ataque por força bruta, captura de tráfego e escalonamento de privilégios, apresentando métricas quantitativas de resistência e impacto. Um estudo de caso inspirado em incidentes recentes envolvendo worms em redes TCP/IP demonstra como a exposição inadequada de segredos acelera propagação automatizada. Concluímos com recomendações operacionais e direções futuras, incluindo aprimoramentos em infraestrutura de chaves públicas e mecanismos de auditoria contínua.
Read paper →SecretsArquitetura Operacional para Descoberta, Classificação e Proteção de Secrets em Ambientes Cloud‑Native: Um Framework Formal Baseado em Risco e Telemetria Contínua
A exposição acidental de credenciais, chaves criptográficas e tokens de autenticação tornou-se uma das principais causas de comprometimento em infraestruturas modernas baseadas em nuvem e DevOps. Em ambientes cloud‑native, secrets são amplamente utilizados para autenticação entre serviços, acesso a APIs, pipelines de integração contínua e gerenciamento de infraestrutura como código. A natureza altamente distribuída dessas arquiteturas aumenta significativamente a superfície de ataque, permitindo que credenciais expostas em repositórios, imagens de contêiner ou logs operacionais sejam exploradas para obtenção de acesso privilegiado. Diversos incidentes documentados entre 2018 e 2021 demonstram que vazamentos de credenciais frequentemente resultam em comprometimentos de larga escala, incluindo acesso indevido a dados sensíveis e exploração de contas privilegiadas em serviços de nuvem. Neste trabalho apresentamos uma arquitetura operacional para descoberta, classificação e mitigação de secrets expostos em ambientes cloud‑native. Propomos um modelo formal de risco que integra probabilidade de exploração, impacto financeiro estimado e tempo de exposição para priorização automática de credenciais detectadas. A arquitetura proposta combina análise estática de repositórios, análise semântica baseada em entropia e regras estruturais, telemetria de execução obtida a partir de sistemas de monitoramento e um mecanismo de priorização orientado por risco. Demonstramos que a integração dessas fontes de evidência permite reduzir significativamente falsos positivos em comparação com abordagens baseadas exclusivamente em expressões regulares. A avaliação experimental foi conduzida em um ambiente distribuído contendo mais de um milhão de linhas de código e dezenas de microserviços executando em Kubernetes. Os resultados indicam aumento substancial na taxa de detecção e redução significativa do tempo médio de resposta a incidentes relacionados à exposição de credenciais. Além disso, discutimos implicações operacionais para equipes de segurança e engenharia de plataforma, incluindo integração com pipelines CI/CD, uso de mecanismos de rotação automática de credenciais e monitoramento contínuo baseado em telemetria. Os resultados sugerem que abordagens integradas orientadas por risco podem reduzir significativamente a janela de exposição de secrets e fortalecer a postura de segurança em ambientes distribuídos modernos.
Read paper →SecretsArquitetura Formal e Operacional para Descoberta, Classificação e Mitigação de Segredos em Ambientes Híbridos: Um Modelo Unificado Baseado em Entropia, Contexto e Inteligência de Ameaças
A exposição inadvertida de segredos digitais constitui uma das causas mais recorrentes de comprometimento de sistemas em infraestruturas modernas baseadas em nuvem e DevOps. Credenciais de acesso, chaves criptográficas, tokens de autenticação e certificados digitais frequentemente aparecem em repositórios de código, artefatos de construção, imagens de contêiner e memória de processos. Diversos estudos empíricos demonstram que tais segredos são rapidamente explorados por agentes automatizados após sua publicação, resultando em abuso de infraestrutura, exfiltração de dados e comprometimento de cadeias de suprimento de software. Neste trabalho apresentamos uma arquitetura formal e operacional para descoberta, classificação e mitigação automática de segredos em ambientes híbridos que combinam infraestrutura local, serviços em nuvem e pipelines de integração contínua. Propomos um modelo probabilístico que integra entropia informacional, correspondência léxica e contexto semântico de código para estimar a probabilidade de um artefato constituir um segredo válido. A formulação matemática fundamenta-se em teoria da informação e em modelos de conhecimento do adversário inspirados no formalismo de Dolev–Yao. A arquitetura operacional resultante integra varredura estática de repositórios, inspeção dinâmica de memória e tráfego, além de mecanismos de rotação automática de credenciais por meio de sistemas de gerenciamento de segredos. Implementamos um protótipo utilizando ferramentas amplamente adotadas na indústria até 2021, incluindo TruffleHog, Gitleaks, YARA, Suricata e HashiCorp Vault, integradas a pipelines de CI/CD. A avaliação experimental foi conduzida sobre um corpus composto por milhões de artefatos provenientes de repositórios públicos, imagens de contêiner e dumps de memória. Os resultados demonstram melhoria significativa na precisão de detecção quando comparada a abordagens baseadas exclusivamente em expressões regulares ou entropia. Em particular, observamos redução substancial de falsos positivos sem degradação significativa de desempenho computacional. Discutimos ainda implicações práticas para programas de DevSecOps e para estratégias de defesa alinhadas ao modelo Zero Trust proposto pelo NIST. Concluímos que a combinação de análise informacional e contexto estrutural oferece um caminho promissor para gestão automatizada de segredos em sistemas distribuídos contemporâneos.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Multiusuário Conectados por Redes Públicas: Uma Análise Criptográfica e Operacional no Contexto UNIX e ARPANET (1987)
Este artigo apresenta uma análise abrangente do conceito de “segredos” em segurança da informação, considerando o estado da arte até 1987, com ênfase em sistemas multiusuário baseados em UNIX e ambientes interconectados por redes públicas como a ARPANET e redes X.25. Definimos formalmente segredos como entidades informacionais cujo valor está intrinsecamente ligado à sua confidencialidade, incluindo senhas, chaves criptográficas, tokens de autenticação e algoritmos proprietários. A partir de um modelo de ameaça realista para a década de 1980 — envolvendo atacantes internos, interceptação de tráfego, exploração de falhas em protocolos como Telnet e FTP, e análise off-line de hashes de senhas — desenvolvemos uma metodologia sistemática para armazenamento, transmissão, rotação e auditoria de segredos. O trabalho integra fundamentos criptográficos clássicos (Shannon, 1949; Diffie e Hellman, 1976; Rivest, Shamir e Adleman, 1978) com práticas operacionais observadas em sistemas 4BSD e System V, incluindo o uso de `crypt(3)`, permissões de arquivos, e controles de acesso discricionários. Propomos métricas quantitativas baseadas em entropia $H(X)$ e espaço de busca $2^n$ para estimar a robustez de segredos, além de modelos probabilísticos para estimativa de tempo de quebra por força bruta. Implementamos e avaliamos experimentalmente políticas de complexidade de senha, armazenamento protegido de chaves DES e mecanismos de controle de acesso físico e lógico. Os resultados demonstram que a principal fragilidade reside não nos algoritmos criptográficos padronizados, como o DES (FIPS PUB 46, 1977), mas na gestão operacional inadequada dos segredos. Concluímos que a segurança efetiva depende de uma abordagem integrada envolvendo criptografia sólida, controles de acesso rigorosos, disciplina administrativa e educação de usuários, estabelecendo diretrizes práticas para organizações acadêmicas, governamentais e corporativas em 1987.
Read paper →SecretsGestão, Proteção e Comprometimento de Segredos em Sistemas Multiusuário Conectados: Uma Análise Operacional no Contexto UNIX e Redes TCP/IP (1987)
A proteção de “segredos” — entendidos como senhas, chaves criptográficas, tokens de autenticação, informações classificadas e parâmetros sensíveis de configuração — constitui o núcleo da segurança em sistemas computacionais multiusuário e redes interconectadas. Em 1987, com a expansão de sistemas UNIX, a consolidação da suíte TCP/IP e a crescente interligação de instituições acadêmicas, militares e corporativas, o problema da exposição e comprometimento de segredos assume caráter estratégico. Este trabalho apresenta uma análise técnica e operacional dos mecanismos de armazenamento, transmissão e proteção de segredos em ambientes UNIX e redes ARPANET-like, com ênfase em modelos de ameaça realistas, ataques observados (incluindo captura de senhas, exploração de buffer overflow, cavalos de Troia e engenharia social) e contramedidas baseadas em controles de acesso, criptografia simétrica e assimétrica emergente, e auditoria sistemática. Formalizamos o problema da proteção de segredos como uma função da superfície de ataque, da entropia da credencial e da exposição temporal, propondo métricas quantitativas para risco residual. Desenvolvemos uma metodologia operacional que integra políticas de senhas, uso de hashing com salt no contexto UNIX, segregação de privilégios, controle de acesso baseado em listas e rotinas de auditoria com ferramentas como `tcpdump` e analisadores de logs. A implementação é demonstrada em sistemas UNIX BSD e System V, com experimentos conduzidos em rede Ethernet 10 Mbps e enlaces seriais. Os resultados experimentais indicam que o uso de senhas com maior entropia, combinado a armazenamento protegido e redução de serviços expostos, reduz significativamente a probabilidade de comprometimento. Um estudo de caso realista envolvendo captura de credenciais via sniffing em rede local demonstra como falhas operacionais superam controles técnicos inadequadamente configurados. Concluímos que a gestão de segredos deve ser tratada como processo contínuo, integrando tecnologia, política e treinamento, sob pena de colapso da confidencialidade sistêmica.
Read paper →SecretsGestão Operacional de Segredos em Sistemas Computacionais Conectados: Modelagem de Ameaças, Criptografia Aplicada e Controles de Acesso no Contexto de 1987
A proteção de “segredos” — senhas, chaves criptográficas, identificadores de autenticação e informações classificadas — constitui o núcleo da segurança em sistemas computacionais conectados. Em 1987, com a ampla disseminação de sistemas UNIX, mainframes IBM, redes X.25, ARPANET e o crescimento de interconexões acadêmicas e corporativas, a superfície de exposição de segredos aumentou substancialmente. Este trabalho apresenta uma análise sistemática da gestão de segredos sob a ótica técnica e operacional vigente em 1987, integrando fundamentos criptográficos (Diffie-Hellman, RSA, DES), modelos formais de segurança (Bell-LaPadula), mecanismos de controle de acesso (DAC, ACLs), técnicas de armazenamento de senhas (hash unidirecional com sal), e práticas de auditoria e detecção baseadas em registros de sistema e monitoramento de rede. Formalizamos um modelo de ameaça considerando adversários internos e externos, com capacidades de escuta passiva, tentativa de autenticação por força bruta, exploração de estouros de buffer e análise de tráfego. Propomos uma metodologia operacional de gestão de segredos que integra classificação da informação, derivação de chaves, políticas de rotação, segregação de privilégios e monitoramento contínuo. A implementação é demonstrada em ambientes UNIX e VAX/VMS, com exemplos práticos de configuração de senhas, uso de DES para proteção de arquivos e análise de tráfego com `tcpdump`. A avaliação experimental inclui medições de entropia de senhas, tempo estimado de quebra sob diferentes hipóteses de capacidade computacional e impacto de políticas de bloqueio de contas. Um estudo de caso baseado em incidentes reais da comunidade UNIX ilustra falhas comuns na proteção de segredos. Concluímos que a segurança de segredos em 1987 depende menos de algoritmos isolados e mais de disciplina operacional, controles de acesso rigorosos e entendimento preciso das capacidades do adversário. O trabalho fornece diretrizes práticas para ambientes acadêmicos, governamentais e corporativos da época, fundamentadas em literatura técnica até 1987.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Interconectados: Modelos Formais, Ameaças Operacionais e Mecanismos Criptográficos até 1987
A proteção de “segredos” — entendidos como senhas, chaves criptográficas, algoritmos proprietários, credenciais operacionais e informações classificadas — constitui o núcleo da segurança em sistemas computacionais interconectados. Em 1987, com a consolidação de redes acadêmicas baseadas em TCP/IP, a difusão do UNIX em ambientes universitários e corporativos e o crescimento de sistemas de tempo compartilhado, a superfície de exposição de informações sensíveis expandiu-se significativamente. Este trabalho apresenta uma análise abrangente e operacional da gestão de segredos sob a ótica de modelos formais de controle de acesso, criptografia simétrica e assimétrica, e mecanismos práticos de implementação disponíveis até 1987. Partimos de fundamentos teóricos como o modelo Bell-LaPadula, o modelo Biba e o esquema de controle de acesso matricial, avançando para a formalização matemática do problema de proteção de segredos em ambientes multiusuário. Propomos uma metodologia integrada baseada em classificação de ativos, segmentação lógica, criptografia DES conforme FIPS PUB 46, uso de funções unidirecionais para armazenamento de senhas (UNIX `crypt`), e distribuição controlada de chaves utilizando criptografia de chave pública segundo RSA. Implementamos protótipos em sistemas UNIX 4.3BSD e VAX/VMS, utilizando ferramentas como `tcpdump` para análise de tráfego e `crypt` para cifragem de arquivos. Realizamos experimentos comparativos envolvendo tempos de cifragem, entropia de senhas e resistência a ataques por dicionário. Incluímos estudo de caso realista em ambiente acadêmico interligado à ARPANET, demonstrando vetores de comprometimento de segredos via interceptação de tráfego Telnet e má configuração de permissões de arquivos. Os resultados indicam que a proteção eficaz de segredos depende de abordagem sistêmica combinando criptografia robusta, políticas administrativas rigorosas e mecanismos formais de controle de acesso. Concluímos discutindo limitações práticas, riscos de canal lateral e perspectivas futuras como expansão de infraestruturas de chave pública e módulos de segurança baseados em hardware.
Read paper →SecretsGestão, Proteção e Exfiltração de Segredos em Sistemas Multiusuário e Redes de Computadores: Uma Análise Operacional no Contexto de 1987
A proteção de segredos constitui o núcleo da segurança da informação em sistemas computacionais multiusuário e redes de computadores. Em 1987, com a ampla adoção de sistemas UNIX, VMS, mainframes IBM e o crescimento de redes como ARPANET, MILNET e redes acadêmicas baseadas em TCP/IP, a exposição indevida de informações sensíveis tornou-se um problema operacional concreto. Senhas, chaves criptográficas, arquivos classificados, códigos-fonte proprietários e parâmetros de configuração representam ativos críticos cuja violação compromete confidencialidade, integridade e disponibilidade. Este trabalho apresenta uma análise sistemática do ciclo de vida dos segredos — geração, armazenamento, transmissão, uso e destruição — à luz das ameaças conhecidas até 1987, incluindo escuta de rede, análise de tráfego, ataques por dicionário, exploração de canais encobertos, subversão de mecanismos de controle de acesso e falhas de isolamento em sistemas compartilhados. Propomos um modelo formal de ameaça baseado em canais autorizados e não autorizados, fundamentado nos modelos de Bell-LaPadula e Biba, complementado por métricas quantitativas de exposição de segredo. Apresentamos uma metodologia prática de endurecimento (hardening) de sistemas UNIX e VMS, incluindo políticas de senha, uso de DES conforme FIPS 46, controle de acesso obrigatório, auditoria e mecanismos de detecção de anomalias. A implementação é demonstrada com exemplos concretos de configuração, uso de utilitários como `crypt`, `chmod`, `su`, `login` e ferramentas de captura como `tcpdump`, bem como configuração de auditoria C2 conforme o Orange Book (TCSEC). A avaliação experimental inclui medições de entropia de senhas, tempo de quebra por ataque offline e impacto de controles de acesso obrigatórios sobre a taxa de vazamento. Um estudo de caso baseado no incidente de espionagem descrito por Stoll (1987) ilustra a exploração sistemática de segredos em ambiente acadêmico conectado à ARPANET. Concluímos que a proteção eficaz de segredos exige integração entre controles criptográficos, administrativos e arquiteturais, além de auditoria contínua e separação de funções. O trabalho consolida práticas defensivas aplicáveis ao contexto tecnológico de 1987 e estabelece diretrizes para evolução futura da disciplina.
Read paper →SecretsGestão, Armazenamento e Exfiltração de Segredos em Sistemas Multiusuário Conectados por Redes TCP/IP: Uma Análise Operacional e Criptográfica (1987)
A proteção de “segredos” — entendidos como senhas, chaves criptográficas, tokens de autenticação, informações proprietárias e dados estratégicos — constitui o núcleo da segurança em sistemas computacionais multiusuário interconectados. Em 1987, o crescimento de redes baseadas em TCP/IP, a disseminação do UNIX em ambientes acadêmicos e corporativos, e a popularização de redes como ARPANET, MILNET e diversas LANs Ethernet expõem organizações a um novo conjunto de ameaças: interceptação de tráfego, exploração de falhas de autenticação, ataques por estouro de buffer, reutilização indevida de credenciais e comprometimento físico de mídias. Este trabalho apresenta uma análise sistemática do ciclo de vida dos segredos em ambientes computacionais contemporâneos, desde sua geração e armazenamento até sua transmissão e eventual exfiltração. Formalizamos um modelo de ameaça realista para 1987, considerando adversários internos e externos com acesso a terminais, linhas discadas, sniffers Ethernet e capacidade de engenharia social. Propomos uma metodologia operacional que combina controles técnicos (criptografia simétrica e assimétrica, hashing unidirecional de senhas, controles de acesso baseados em DAC, monitoramento de logs e mecanismos de auditoria), procedimentos administrativos e práticas de resposta a incidentes. Implementamos um protótipo experimental em ambiente UNIX BSD com suporte a DES e RSA, avaliando desempenho, entropia de senhas e resistência a ataques por dicionário. Resultados experimentais demonstram que a adoção sistemática de hashing com sal, segmentação de privilégios e criptografia de comunicação reduz significativamente a probabilidade de comprometimento, ainda que com custos mensuráveis de processamento. Apresentamos estudo de caso envolvendo comprometimento de contas privilegiadas via captura de tráfego em rede local. Concluímos com recomendações práticas para instituições governamentais, militares e acadêmicas, destacando limitações tecnológicas atuais e direções futuras, incluindo hardware criptográfico dedicado e melhoria de protocolos de autenticação.
Read paper →SecretsGovernança, Detecção e Resiliência de Secrets em Infraestruturas Cloud-Native: Modelagem de Ameaças, Métricas Quantitativas e Hardening Operacional
A gestão inadequada de credenciais e secrets constitui um dos vetores mais frequentes de comprometimento em ambientes cloud-native. Diferentemente de vulnerabilidades clássicas de software, como falhas de memória ou injeção de comandos, o vazamento de secrets frequentemente permite acesso direto a serviços críticos sem necessidade de exploração adicional. Em arquiteturas baseadas em DevOps e microsserviços, secrets transitam por múltiplas camadas operacionais, incluindo repositórios Git, pipelines de integração contínua, sistemas de orquestração de contêineres e plataformas de gerenciamento de identidade. Cada ponto de manipulação introduz uma nova superfície de exposição potencial. Este artigo apresenta uma abordagem sistemática para governança e mitigação de riscos associados a secrets em ambientes cloud-native. Propomos um modelo formal para quantificar a superfície temporal de exposição de credenciais e introduzimos métricas operacionais que permitem avaliar empiricamente o risco de comprometimento. A partir desse modelo, definimos três indicadores principais: Mean Time to Secret Exposure (MTTSE), Mean Time to Revoke Secret (MTTRS) e Secret Compromise Probability (SCP). Em seguida, descrevemos uma arquitetura de defesa em profundidade composta por quatro camadas complementares: detecção shift-left em pipelines de desenvolvimento, enforcement de políticas em runtime por meio de admission controllers, armazenamento seguro com gerenciadores de secrets e rotação automática baseada em leases temporários. Implementamos experimentalmente essa arquitetura em um ambiente Kubernetes com integração a HashiCorp Vault, scanners de código e monitoramento em runtime. Resultados experimentais demonstram reduções substanciais na probabilidade de comprometimento e no tempo médio de exposição de credenciais. Também discutimos implicações práticas para governança de segurança, alinhamento com princípios de Zero Trust definidos pelo NIST e integração com práticas modernas de cadeia de suprimentos de software, incluindo rastreabilidade de dependências e geração de Software Bill of Materials (SBOM). Concluímos que a mitigação efetiva do risco associado a secrets requer abordagem integrada envolvendo desenvolvimento seguro, controles de infraestrutura e automação criptográfica. As contribuições deste trabalho incluem a formalização quantitativa do risco associado a credenciais expostas, a avaliação comparativa de mecanismos de detecção e uma arquitetura operacional replicável para ambientes corporativos.
Read paper →SecretsArquiteturas e Operações de Gestão de Segredos em Ambientes Cloud-Native: Modelagem de Ameaças, Ataques Reais e Estratégias de Mitigação
Segredos — incluindo chaves criptográficas, tokens de API, credenciais, certificados e material sensível embutido em código — representam um dos vetores mais explorados em incidentes de segurança contemporâneos. Vazamentos de segredos têm sido responsáveis por comprometimentos em larga escala, desde ataques à cadeia de suprimentos até intrusões em ambientes multi-cloud. Este trabalho apresenta uma análise técnica aprofundada do problema de gestão de segredos no domínio de cibersegurança, com ênfase operacional em ambientes cloud-native e DevSecOps. Inicialmente, revisamos o estado da arte e trabalhos relacionados, incluindo diretrizes do NIST, OWASP e MITRE ATT&CK, além de incidentes reais como os vazamentos detectados pelo GitGuardian e ataques envolvendo credenciais expostas em repositórios públicos. Em seguida, formalizamos um modelo de ameaça baseado em adversários internos e externos, explorando técnicas como credential dumping (T1003), exfiltração de segredos em pipelines CI/CD e abuso de tokens OAuth. Propomos uma metodologia integrada de gestão de segredos que combina segmentação criptográfica, Hardware Security Modules (HSM), HashiCorp Vault, AWS Secrets Manager e controles de detecção baseados em SIEM e EDR. A implementação prática inclui automação via Terraform, Kubernetes External Secrets, políticas RBAC e integração com ferramentas como TruffleHog e Gitleaks para detecção preventiva. Avaliamos experimentalmente a solução em um ambiente controlado com 150 microserviços, medindo redução de superfície de ataque, tempo médio de rotação de chaves e taxa de detecção de vazamentos. Apresentamos ainda um estudo de caso real envolvendo comprometimento por segredo exposto em pipeline GitHub Actions. Os resultados demonstram que a adoção de arquitetura centralizada com rotação automática reduz em até 78% a janela de exposição e diminui drasticamente o impacto operacional de vazamentos. Concluímos discutindo desafios futuros, incluindo gestão de segredos em ambientes serverless, edge computing e sistemas pós-quânticos.
Read paper →SecretsArquiteturas, Modelos de Ameaça e Operacionalização da Gestão de Segredos em Ambientes DevSecOps e Nuvem Híbrida
A gestão de segredos constitui um componente crítico da segurança operacional em arquiteturas modernas baseadas em microsserviços, pipelines de integração contínua e ambientes de nuvem híbrida. Segredos digitais — como chaves criptográficas, tokens de autenticação, certificados X.509 e credenciais de acesso a serviços — representam ativos sensíveis cuja exposição pode permitir comprometimento sistêmico. Relatórios empíricos de incidentes indicam que credenciais comprometidas permanecem entre os vetores mais recorrentes de acesso inicial em intrusões corporativas, especialmente em contextos de automação DevOps e cadeias de suprimento de software. A expansão de pipelines CI/CD, infraestrutura como código (IaC) e dependências externas amplia significativamente a superfície de exposição de segredos, exigindo abordagens sistemáticas que integrem mecanismos criptográficos, automação operacional e monitoramento contínuo. Neste trabalho apresentamos uma arquitetura operacional para gestão de segredos em ambientes DevSecOps e infraestruturas híbridas. Inicialmente formalizamos um modelo de ameaça no qual adversários possuem capacidades realistas observadas em campanhas contemporâneas, incluindo acesso a repositórios comprometidos, execução de código em pipelines CI/CD comprometidos e exploração de vulnerabilidades amplamente divulgadas, como a vulnerabilidade Log4Shell (CVE-2021-44228). Em seguida, introduzimos uma formulação quantitativa para o risco de comprometimento de segredos baseada em quatro variáveis operacionais: exposição, tempo de validade, capacidade de detecção e frequência de rotação. A metodologia proposta organiza a gestão de segredos em cinco camadas: descoberta e inventário automatizado, centralização em cofres criptográficos, geração de segredos dinâmicos com tempo de vida limitado, rotação automatizada e monitoramento integrado a plataformas SIEM. Implementamos essa arquitetura em um ambiente real composto por microsserviços executando em Kubernetes e infraestrutura de nuvem pública. A avaliação experimental foi conduzida durante um período de noventa dias em um ambiente contendo mais de cento e vinte serviços distribuídos. Os resultados demonstram reduções substanciais na exposição de credenciais, incluindo diminuição significativa da janela média de exploração e melhoria no tempo médio de rotação de segredos. Um estudo de caso baseado no incidente da Codecov (2021) ilustra como mecanismos de autenticação federada, segredos efêmeros e monitoramento comportamental podem reduzir o impacto de ataques à cadeia de suprimento. Concluímos que a integração entre princípios de Zero Trust, automação DevSecOps e gestão criptográfica de segredos constitui abordagem eficaz para reduzir riscos operacionais em infraestruturas modernas.
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Interconectados: Modelagem de Ameaças, Criptografia e Controles Operacionais em Redes TCP/IP
cryptographydata00denn. Accessed on: 13 Apr. 2026. DENNING, D. E. A lattice model of secure information flow. Communications of the ACM, New York, v. 19, n. 5, p. 236–243, 1976. DOI: https://doi.org/10.1145/360051.360056. DIFFIE, W.; HELLMAN, M. New directions in cryptography. IEEE Transactions on Information Theory, v. 22, n. 6, 1976. Available at: https://ieeexplore.ieee.org/document/1055638. Accessed on: 13 Apr. 2026. LAMpson, B. W. Protection. Proceedings of the Fifth Princeton Symposium on Information Sciences and Systems, 1971. Available at: https://bwlampson.site/08-Protection/Protec
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Distribuídos: Fundamentos Criptográficos, Controles de Acesso e Análise de Ameaças no Contexto de 1986
cryptographyandd00denn. Acesso em: 13 abr. 2026. DENNING, D. E.; SACCO, G. M. Timestamps in Key Distribution Protocols. Communications of the ACM, v. 24, n. 8, p. 533–536, 1981. Disponível em: https://doi.org/10.1145/358790.358799. Acesso em: 13 abr. 2026. DIFFIE, W.; HELLMAN, M. E. New Directions in Cryptography. IEEE Transactions on Information Theory, v. 22, n. 6, p. 644–654, 1976. Disponível em: https://ieeexplore.ieee.org/document/1055638. Acesso em: 13 abr. 2026. UNITED STATES. Department of Defense. Trusted Computer System Evaluation Criteria (DoD 5200.28‑STD). Washington, DC: Depart
Read paper →SecretsGestão e Proteção de Segredos em Sistemas Computacionais Conectados: Uma Análise Operacional no Contexto Tecnológico de 1986
cryptographydats00doro DENNING, Dorothy E.; SACCO, Giovanni M. Timestamps in key distribution protocols. Communications of the ACM, New York, v. 24, n. 8, p. 533–536, 1981. DOI: https://doi.org/10.1145/358598.358606. DIFFIE, W.; HELLMAN, M. New directions in cryptography. IEEE Transactions on Information Theory, 1976. https://ieeexplore.ieee.org/document/1055638 DOD. Trusted Computer System Evaluation Criteria. Washington: Department of Defense, 1983. https://csrc.nist.gov/publications/detail/dod/5200-28-std/final GOGUEN, J.; MESEGUER, J. Security policies and security models. IEEE Symposi
Read paper →SecretsEngenharia de Segredos em Ambientes Nativos de Nuvem: Modelagem Formal de Ameaças, Arquiteturas Resilientes e Avaliação Empírica de Vazamentos em Larga Escala
A crescente adoção de arquiteturas nativas de nuvem e de microsserviços ampliou significativamente a superfície de ataque associada ao gerenciamento de segredos digitais. Credenciais de acesso, chaves criptográficas, tokens de autenticação e certificados constituem elementos fundamentais para a segurança de sistemas distribuídos; entretanto, práticas inadequadas de armazenamento, distribuição e rotação desses artefatos têm sido responsáveis por diversas violações de segurança observadas na última década. Relatórios empíricos indicam que credenciais comprometidas permanecem entre os vetores mais frequentes de intrusão em ambientes corporativos. Paralelamente, estudos sobre repositórios públicos de código demonstram crescimento contínuo na exposição acidental de segredos em plataformas de versionamento distribuído. Neste trabalho investigamos sistematicamente o problema da engenharia de segredos em ambientes nativos de nuvem sob três perspectivas complementares: modelagem formal de risco, arquitetura de gerenciamento seguro e avaliação empírica em larga escala. Inicialmente formalizamos o ciclo de vida de um segredo e introduzimos um modelo probabilístico que relaciona exposição, impacto e tempo de rotação, permitindo estimar o risco operacional associado a diferentes estratégias de gerenciamento. Em seguida, propomos uma arquitetura operacional baseada em cofres centralizados de segredos, identidade de workloads, criptografia suportada por módulos de segurança de hardware e monitoramento contínuo integrado a sistemas SIEM. A arquitetura é alinhada a princípios de Zero Trust conforme especificado pelo NIST SP 800‑207 e incorpora mecanismos de detecção automática de vazamentos em repositórios Git utilizando métricas de entropia de Shannon e regras heurísticas específicas para diferentes formatos de tokens. Para avaliar empiricamente a abordagem proposta conduzimos um estudo em um ambiente corporativo contendo centenas de microsserviços e mais de um milhão de commits históricos. Os resultados indicam redução substancial na quantidade de segredos expostos ao longo do tempo, bem como diminuição significativa no tempo médio de resposta a incidentes relacionados a credenciais comprometidas. Além disso, analisamos cenários realistas de ataque baseados no framework MITRE ATT&CK e demonstramos como mecanismos de rotação automática e autenticação baseada em identidade de workload podem limitar a movimentação lateral de adversários. Concluímos que a integração sistemática entre descoberta automatizada, armazenamento seguro e monitoramento contínuo constitui um componente essencial para a resiliência de infraestruturas modernas baseadas em nuvem.
Read paper →