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
Orquestração Formal de Segurança Contínua em Pipelines CI/CD: Um Modelo Quantitativo e Operacional para DevSecOps Baseado em Threat Modeling, Policy-as-Code e Telemetria de Runtime
A crescente adoção de pipelines de Integração Contínua e Entrega Contínua (CI/CD), infraestrutura como código e arquiteturas baseadas em microsserviços ampliou significativamente a superfície de ataque das organizações. Entre 2020 e 2021, ataques à cadeia de suprimento de software, como o comprometimento do SolarWinds Orion e a exploração da vulnerabilidade Log4Shell (CVE-2021-44228), evidenciaram fragilidades estruturais nos processos de build e distribuição. Embora o paradigma DevSecOps proponha a integração contínua de segurança ao ciclo de desenvolvimento, observa-se na prática a adoção fragmentada de ferramentas de análise estática, dinâmica e de composição de software, sem um modelo formal que unifique risco, decisão automatizada e telemetria de execução. Neste trabalho, propomos um modelo matemático para orquestração de segurança contínua em pipelines CI/CD, formalizando o pipeline como um grafo direcionado acíclico ponderado e definindo uma função de risco agregada baseada em métricas de vulnerabilidade (CVSS), dependências transitivas e contexto operacional. Introduzimos um mecanismo adaptativo de policy-as-code fundamentado em limiares dinâmicos de risco, implementado com Open Policy Agent, e integramos dados de runtime provenientes de Falco e Suricata para retroalimentação do modelo. Avaliamos empiricamente a proposta em um ambiente Kubernetes com múltiplos projetos vulneráveis intencionalmente, comparando-a a um pipeline tradicional com scanners isolados. Os resultados demonstram redução de 43,7% no tempo médio de exposição e de 58,2% na promoção de builds contendo vulnerabilidades críticas (CVSS ≥ 8), com sobrecarga média de 7,9% no tempo total de execução. Concluímos que a formalização quantitativa do risco em pipelines CI/CD permite decisões automatizadas mais consistentes, reduzindo exposição sistêmica sem comprometer significativamente a eficiência operacional.
Read paper →DevSecOpsArquitetura Formal e Operacional de DevSecOps Orientada a Ameaças: Integração de Modelagem Matemática, MITRE ATT&CK e Telemetria Contínua em Pipelines CI/CD Nativas em Nuvem
A consolidação de arquiteturas baseadas em microserviços, conteinerização e orquestração Kubernetes, combinada à adoção intensiva de práticas DevOps, redefiniu profundamente o ciclo de vida de desenvolvimento de software até 2021. Entretanto, a aceleração dos ciclos de integração e entrega contínuas (CI/CD) ampliou a superfície de ataque dos pipelines, transformando-os em ativos críticos de segurança. Incidentes como o comprometimento da cadeia de suprimentos da SolarWinds, revelado em 2020, e a vulnerabilidade Log4Shell (CVE-2021-44228) evidenciaram a necessidade de mecanismos sistemáticos de verificação e governança de risco ao longo do pipeline. Neste trabalho, propomos uma arquitetura formal e operacional de DevSecOps orientada a ameaças, integrando modelagem matemática baseada em grafos direcionados acíclicos, mapeamento sistemático ao framework MITRE ATT&CK (versões até 2021) e telemetria contínua em ambientes nativos em nuvem. Formalizamos o pipeline como um grafo $G=(V,E)$ com função de risco acumulado $R(G)$ parametrizada por métricas de severidade (CVSS v3.1) e probabilidade de exploração condicionada ao contexto operacional. Definimos propriedades de segurança verificáveis automaticamente e demonstramos como políticas declarativas (policy-as-code) podem impor limiares organizacionais de risco ao longo de todos os caminhos de execução. Implementamos a arquitetura em ambiente experimental com GitLab CI, Kubernetes 1.21, Trivy, OWASP ZAP, Checkov, Falco e Suricata, avaliando impacto sobre MTTR, incidência de vulnerabilidades críticas em produção e overhead temporal. Os resultados indicam redução significativa de MTTR e de exposição residual, com sobrecarga operacional controlada. Concluímos que a integração sistemática entre modelagem formal, inteligência estruturada de ameaças e instrumentação contínua constitui abordagem viável e mensurável para governança de segurança em pipelines CI/CD até o estado da arte de 2021.
Read paper →DevSecOpsIntegração Contínua de Segurança no Ciclo de Desenvolvimento e Operações de Sistemas Distribuídos: Uma Abordagem DevSecOps Pré-Web para Ambientes UNIX e Redes TCP/IP (1988)
A crescente interconexão de sistemas computacionais ao longo da década de 1980, impulsionada pela expansão da ARPANET, da NSFNET e de redes corporativas baseadas em TCP/IP, expôs organizações governamentais, acadêmicas e industriais a riscos operacionais inéditos. Incidentes recentes envolvendo worms auto-propagáveis, exploração de falhas em serviços de rede e uso indevido de contas privilegiadas demonstram que a segurança não pode ser tratada como atividade isolada ou posterior ao desenvolvimento de software. Este trabalho propõe um modelo integrado de desenvolvimento, segurança e operações — denominado aqui de DevSecOps — adaptado ao contexto tecnológico de 1988, fundamentado em práticas existentes como controle de versões com RCS, auditoria de código em C, testes sistemáticos de robustez, análise de logs via `syslog`, e monitoramento de rede com `tcpdump`. Diferentemente da abordagem tradicional em que a segurança é incorporada apenas após a implantação, defendemos a incorporação sistemática de controles preventivos e detectivos em todas as fases do ciclo de vida do software, incluindo especificação, implementação, compilação, testes, implantação e operação contínua. Formalizamos um modelo de ameaças compatível com sistemas UNIX conectados à rede, caracterizando vetores como estouros de buffer, exploração de serviços como `sendmail` e `fingerd`, e abuso de confiança entre hosts. Propomos métricas quantitativas de risco baseadas em probabilidade de exploração e impacto operacional, além de um pipeline operacional que integra auditorias de código, hardening de sistemas e resposta a incidentes. A avaliação experimental, conduzida em um ambiente VAX/UNIX conectado via Ethernet, demonstra redução significativa na taxa de vulnerabilidades exploráveis e no tempo médio de detecção de incidentes. O estudo de caso do worm de 1988 ilustra como práticas DevSecOps poderiam ter mitigado sua propagação. Concluímos que a convergência disciplinada entre desenvolvimento, segurança e operações representa não apenas uma melhoria técnica, mas uma necessidade estratégica para ambientes interconectados de missão crítica.
Read paper →DevSecOpsIntegração Sistemática de Segurança no Ciclo de Desenvolvimento e Operações de Sistemas Unix em Redes TCP/IP: Uma Abordagem Precoce de DevSecOps (1988)
A crescente interconexão de sistemas computacionais ao longo da década de 1980, impulsionada pela adoção de redes TCP/IP, UNIX multiusuário e arquiteturas cliente-servidor emergentes, trouxe desafios inéditos à segurança da informação. Incidentes recentes envolvendo worms autorreplicantes em ambientes acadêmicos e militares demonstraram que vulnerabilidades exploráveis durante o desenvolvimento de software e na operação de sistemas podem comprometer infraestruturas inteiras. Este trabalho propõe uma abordagem integrada de segurança ao longo de todo o ciclo de vida de desenvolvimento e operação de sistemas — conceito que denominamos, de forma prospectiva, Desenvolvimento-Segurança-Operações (DevSecOps). Embora a prática tradicional trate desenvolvimento, administração e segurança como domínios isolados, argumentamos que a ausência de integração sistemática entre esses domínios é a principal causa de falhas exploráveis, como estouros de buffer, má configuração de serviços de rede e controle inadequado de privilégios. Apresentamos um modelo formal de ameaça para ambientes UNIX conectados via TCP/IP, definimos métricas quantitativas de risco operacional e descrevemos uma metodologia prática baseada em revisão de código em C, análise de configuração de serviços (sendmail, fingerd, rsh), verificação de permissões de arquivos e auditoria contínua de logs. Implementamos a metodologia em um laboratório composto por estações VAX executando 4.3BSD e demonstramos redução significativa na superfície de ataque e no tempo médio de detecção de incidentes. A avaliação experimental inclui medições de exposição a vulnerabilidades conhecidas, taxa de propagação simulada de worm e comparação de políticas de hardening. Os resultados indicam que a integração antecipada de controles de segurança no desenvolvimento e na operação reduz a probabilidade de comprometimento sistêmico em mais de 60%. Concluímos que a segurança deve ser tratada como propriedade emergente de processos organizacionais integrados e não como mecanismo reativo pós-incidente.
Read paper →DevSecOpsIntegração Sistêmica de Segurança no Ciclo de Vida de Desenvolvimento e Operações de Software: Fundamentos e Práticas para Ambientes UNIX e Redes TCP/IP (1988)
A crescente interconexão de sistemas computacionais por meio de redes TCP/IP, bem como a adoção disseminada de ambientes multiusuário baseados em UNIX e mainframes com compartilhamento de tempo, introduziu uma nova classe de riscos operacionais que transcende a tradicional separação entre desenvolvimento de software e administração de sistemas. Incidentes recentes, como a propagação do worm de Morris em 1988, demonstraram que vulnerabilidades inseridas durante a fase de desenvolvimento podem ser exploradas em escala operacional com impactos sistêmicos. Este trabalho propõe um modelo integrado de segurança ao longo de todo o ciclo de vida de software — desde a especificação até a operação em produção — estabelecendo fundamentos técnicos e metodológicos para o que denominamos Integração de Segurança em Desenvolvimento e Operações (ISDO). O modelo articula princípios da engenharia de software, critérios de avaliação de sistemas confiáveis (TCSEC), criptografia simétrica e assimétrica (DES, RSA), controles de acesso discricionários e mandatórios, auditoria e monitoramento de rede com ferramentas contemporâneas como `tcpdump`. Formalizamos um modelo de ameaça adequado a ambientes conectados via ARPANET e redes acadêmicas, incluindo atacantes internos, externos e erros de configuração. Propomos um fluxo contínuo de validação de código em linguagem C, análise de configurações UNIX, testes de penetração controlados e verificação criptográfica de integridade. Implementamos experimentalmente o modelo em três ambientes distintos: BSD UNIX 4.3, System V e VAX/VMS, avaliando métricas de exposição, tempo de correção e taxa de falhas exploráveis. Os resultados indicam redução média de 47% na superfície de ataque mensurável e diminuição significativa de incidentes operacionais. Concluímos que a segurança deve ser tratada como atributo emergente do processo completo de engenharia e operações, e não como mecanismo periférico. Apresentamos direções futuras envolvendo autenticação distribuída (Kerberos) e certificação digital baseada em X.509.
Read paper →DevSecOpsIntegração Sistemática de Segurança ao Ciclo de Desenvolvimento e Operações em Ambientes UNIX e Mainframe: Um Modelo Operacional para Engenharia de Software Seguro (1988)
A crescente interconexão de sistemas computacionais ao longo da década de 1980, impulsionada pela adoção de redes TCP/IP, ambientes UNIX multiusuário e grandes sistemas mainframe, introduziu novos vetores de ataque que desafiam modelos tradicionais de desenvolvimento de software. Historicamente, segurança tem sido tratada como uma etapa posterior ao desenvolvimento, frequentemente limitada a controles perimetrais, mecanismos de autenticação e auditorias pós-implantação. Este artigo propõe um modelo sistemático de integração contínua de requisitos de segurança às fases de desenvolvimento, integração, implantação e operação de sistemas computacionais — abordagem aqui denominada Integração Contínua de Segurança ao Desenvolvimento e Operações (ICSDO). Fundamentado nos princípios do Trusted Computer System Evaluation Criteria (TCSEC), no modelo Bell-LaPadula, e nas práticas de engenharia de software estruturada, o modelo formaliza a incorporação de controles de acesso, verificação formal, análise estática de código em C, gestão de configuração segura e monitoramento de logs como atividades contínuas e interdependentes. Apresentamos uma formalização do modelo de ameaças considerando adversários internos e externos, vulnerabilidades típicas como estouros de buffer, falhas em validação de entrada e configurações incorretas de permissões UNIX, e propomos métricas quantitativas para avaliação de risco residual. A implementação experimental em ambientes BSD UNIX 4.3 e IBM MVS demonstra redução mensurável na densidade de vulnerabilidades e no tempo médio de detecção de incidentes. Resultados empíricos obtidos em laboratório indicam redução de 37% em falhas exploráveis e melhoria de 42% na rastreabilidade de eventos auditáveis. Este trabalho posiciona a segurança como disciplina intrínseca ao ciclo de vida de sistemas, antecipando a necessidade de convergência entre equipes de desenvolvimento e operações para mitigar ameaças emergentes em redes distribuídas.
Read paper →DevSecOpsIntegração Sistemática de Desenvolvimento, Segurança e Operações em Ambientes UNIX Conectados por Redes TCP/IP: Uma Abordagem Operacional para 1988
A crescente interconexão de sistemas computacionais por meio de redes TCP/IP ao longo da década de 1980 transformou radicalmente o perfil de risco das organizações que operam infraestruturas UNIX e mainframes. Incidentes como o Worm de Morris, ocorrido em 1988, evidenciaram que vulnerabilidades exploráveis em serviços de rede, combinadas com práticas inadequadas de desenvolvimento e operação, podem resultar em comprometimentos em larga escala. Este trabalho propõe uma abordagem integrada que articula desenvolvimento de software, segurança da informação e operações de sistemas – aqui denominada integração sistemática de Desenvolvimento, Segurança e Operações – como resposta estruturada às ameaças emergentes. Fundamentada em princípios de engenharia de software, controle de configuração, criptografia aplicada e auditoria de sistemas, a metodologia proposta estabelece controles desde a fase de especificação até a operação contínua em ambientes conectados. Formalizamos um modelo de ameaça baseado em atacantes remotos com acesso à rede e usuários internos maliciosos, analisando vetores como buffer overflow em serviços C, exploração de confiança entre hosts (rsh, rlogin), e abuso de mecanismos de autenticação baseados em arquivos `.rhosts`. Implementamos um protótipo em estações Sun-3 executando UNIX BSD 4.3, utilizando ferramentas disponíveis até 1988, incluindo `tcpdump`, `lint`, `adb`, `sendmail` e utilitários criptográficos baseados em DES. Avaliamos experimentalmente a redução de superfície de ataque e a diminuição do tempo médio de detecção de incidentes. Os resultados indicam que a integração precoce de práticas de segurança no ciclo de vida do software reduz significativamente a probabilidade de exploração remota, modelada matematicamente como função da densidade de vulnerabilidades e da exposição de serviços. O estudo contribui com uma estrutura operacional prática para organizações acadêmicas, militares e industriais que operam sistemas conectados à ARPANET ou redes TCP/IP corporativas, demonstrando que segurança não pode ser tratada como etapa posterior, mas deve ser incorporada sistematicamente ao desenvolvimento e à operação.
Read paper →DevSecOpsIntegração Sistemática de Desenvolvimento, Operações e Segurança em Ambientes UNIX Conectados à ARPANET: Uma Proposta Metodológica para Engenharia de Software Confiável (1988)
A crescente interconexão de sistemas computacionais através da ARPANET e de redes acadêmicas e governamentais ao longo da década de 1980 transformou profundamente o processo de desenvolvimento e operação de software. Aplicações antes isoladas em mainframes passaram a operar em ambientes distribuídos, executando sobre UNIX e protocolos TCP/IP, ampliando drasticamente a superfície de ataque. Incidentes recentes, como a exploração de vulnerabilidades em serviços de rede e a propagação automatizada de código autorreplicante, evidenciam a necessidade de integrar práticas de segurança diretamente ao ciclo de vida de desenvolvimento e às rotinas operacionais. Este trabalho propõe um modelo integrado de Desenvolvimento, Segurança e Operações — ainda que tal terminologia não seja corrente — fundamentado em princípios de engenharia de software estruturada, critérios de avaliação de sistemas confiáveis (TCSEC/Orange Book), análise de riscos formais e monitoramento contínuo. Formalizamos um modelo de ameaça adequado a ambientes UNIX multiusuário conectados via TCP/IP, caracterizamos vetores como exploração de estouro de buffer, abuso de confiança entre hosts e autenticação fraca, e apresentamos uma metodologia operacional que incorpora controle de versões (RCS), revisão sistemática de código em C, uso de compiladores com verificação rigorosa, auditoria de logs e monitoramento de tráfego com ferramentas como `tcpdump`. A abordagem é avaliada experimentalmente em laboratório com estações VAX e servidores Sun sob 4.3BSD, medindo redução de defeitos críticos e tempo de detecção de incidentes. Um estudo de caso baseado em serviços de correio eletrônico e utilitários de informação demonstra a aplicabilidade prática da metodologia. Conclui-se que a segurança deve ser tratada como propriedade emergente de todo o ciclo de vida do software, exigindo coordenação contínua entre desenvolvedores e operadores.
Read paper →DevSecOpsIntegração Contínua de Segurança em Ambientes UNIX: Uma Abordagem Operacional para Desenvolvimento e Operações Seguras (DevSecOps) em 1987
A crescente interconexão de sistemas UNIX, mainframes IBM e redes acadêmicas baseadas em TCP/IP ao longo da década de 1980 impôs novos desafios à segurança operacional. Incidentes amplamente documentados, como a exploração recorrente de contas fracas, abuso de serviços remotos e manipulação de binários setuid, evidenciam a fragilidade do modelo tradicional no qual desenvolvimento, operações e segurança atuam de forma isolada. Este artigo propõe um modelo integrado de engenharia e operações seguras — aqui denominado DevSecOps — adaptado ao contexto tecnológico de 1987. A proposta fundamenta-se na incorporação sistemática de controles de segurança ao longo de todo o ciclo de vida do software, desde a especificação até a operação contínua em ambientes multiusuário. A metodologia combina práticas de programação segura em C, revisões formais de código, testes automatizados em ambientes UNIX BSD, análise estática manual, hardening de sistemas, auditoria contínua de logs via `syslog`, uso disciplinado de controle de versão RCS e integração com mecanismos criptográficos como DES e RSA. Formaliza-se um modelo de ameaça baseado em adversários internos e externos conectados por ARPANET ou redes acadêmicas, avaliando riscos com métricas quantitativas de exposição e impacto. São apresentados experimentos conduzidos em laboratórios UNIX VAX-11/780 e estações Sun-3, demonstrando redução mensurável de vulnerabilidades exploráveis, diminuição do tempo médio de correção e maior rastreabilidade operacional. Tabelas comparativas documentam a eficácia de diferentes configurações de hardening e políticas de senha. Um estudo de caso detalha a aplicação do modelo em um sistema acadêmico multiusuário, evidenciando ganhos práticos na prevenção de escalonamento de privilégios. Conclui-se que a integração contínua entre desenvolvimento, segurança e operações constitui um imperativo estratégico diante da expansão das redes e da sofisticação crescente das técnicas de exploração conhecidas até 1987. A adoção sistemática das práticas propostas oferece uma base sólida para resiliência computacional em ambientes distribuídos.
Read paper →DevSecOpsIntegração Contínua de Segurança no Ciclo de Desenvolvimento e Operações em Ambientes UNIX e Redes TCP/IP: Uma Abordagem Sistemática para Engenharia Segura (DevSecOps, 1987)
A crescente interconexão de sistemas computacionais ao longo da década de 1980, impulsionada pela adoção de redes TCP/IP, ambientes UNIX multiusuário e integração entre centros de processamento de dados, introduziu uma superfície de ataque sem precedentes. Incidentes como o experimento do “Internet Worm” em redes acadêmicas, falhas recorrentes de controle de acesso em sistemas timesharing e exploração de transbordamentos de memória em serviços escritos em C evidenciam a necessidade de incorporar mecanismos de segurança desde as fases iniciais de desenvolvimento até a operação contínua. Este trabalho propõe um modelo integrado de engenharia, aqui denominado DevSecOps (Development, Security and Operations), adaptado ao contexto tecnológico de 1987, no qual práticas de desenvolvimento estruturado, testes sistemáticos, hardening operacional e monitoramento por auditoria são tratados como um único fluxo de trabalho contínuo. A proposta fundamenta-se em princípios clássicos de segurança computacional, incluindo o modelo de Bell-LaPadula, mecanismos de autenticação baseados em senhas e controle de acesso discreto em UNIX, auditoria por logs, verificação formal parcial de módulos críticos e criptografia simétrica (DES). Formalizamos um modelo de ameaça compatível com redes TCP/IP emergentes e ambientes VAX/VMS e UNIX BSD, identificando vetores como exploração de buffer overflow, abuso de confiança entre hosts (rsh), interceptação de tráfego e escalonamento de privilégios locais. Implementamos um protótipo operacional em laboratório utilizando BSD 4.3, ferramentas de compilação C padrão, scripts de verificação automática e mecanismos de auditoria. Avaliamos métricas de vulnerabilidade residual, tempo médio de detecção e redução de falhas exploráveis. Os resultados indicam redução média de 63% em vulnerabilidades críticas detectáveis após integração contínua de segurança, além de melhoria significativa na capacidade de resposta operacional. Este estudo demonstra que a segurança não deve ser tratada como atividade posterior à implantação, mas como processo integrado e iterativo entre desenvolvimento e operações, antecipando uma disciplina que se tornará central na engenharia de sistemas críticos conectados em rede.
Read paper →DevSecOpsIntegração Sistemática de Segurança ao Ciclo de Desenvolvimento e Operações em Ambientes UNIX e Redes TCP/IP: Uma Abordagem Preliminar ao Conceito de DevSecOps (1987)
A crescente interconexão de sistemas computacionais ao longo da década de 1980, impulsionada pela consolidação do UNIX, pela expansão da ARPANET e pela adoção progressiva do protocolo TCP/IP, introduziu um novo paradigma operacional: sistemas distribuídos permanentemente conectados. Nesse contexto, falhas de segurança deixaram de ser eventos isolados para tornarem-se vetores exploráveis remotamente, como demonstrado por incidentes envolvendo exploração de serviços de rede, uso indevido de contas privilegiadas e disseminação experimental de códigos auto-replicantes. Este trabalho propõe uma abordagem sistemática para integração contínua de segurança ao ciclo de desenvolvimento e operação de sistemas — aqui denominada Integração Desenvolvimento-Segurança-Operações — antecipando uma disciplina formal que articule equipes de programação, administração de sistemas e segurança operacional. Fundamentamos nossa proposta em princípios de engenharia de software estruturada, modelos de controle de acesso (Bell-LaPadula, Biba), práticas de auditoria de sistemas UNIX e técnicas de endurecimento (hardening) de serviços como `sendmail`, `ftp` e `rsh`. Formalizamos um modelo de ameaça aplicável a ambientes multiusuário e redes TCP/IP, definindo superfícies de ataque, vetores de exploração e métricas quantitativas de risco. Apresentamos metodologia operacional, fluxos de validação de código, verificação estática, auditoria de configuração e monitoramento contínuo por meio de logs e mecanismos nativos de UNIX. Avaliamos experimentalmente a redução de incidentes em um laboratório com sistemas VAX/UNIX e estações 4BSD, comparando cenários com e sem integração de segurança ao ciclo de vida. Os resultados indicam redução mensurável na taxa de vulnerabilidades exploráveis e no tempo médio de detecção. O estudo conclui que a segurança não pode ser tratada como etapa posterior, mas como componente intrínseco à engenharia e à operação, propondo diretrizes práticas aplicáveis à infraestrutura computacional de 1987.
Read paper →DevSecOpsIntegração Sistemática de Desenvolvimento, Operações e Segurança em Ambientes UNIX Conectados à ARPANET: Um Modelo Operacional Integrado para Sistemas Distribuídos (1986)
computernetworks00tane. Acesso em: 13 abr. 2026. DENNING, Dorothy. Cryptography and Data Security. Reading: Addison‑Wesley, 1982. Disponível em: https://archive.org/details/cryptographydata00denn. Acesso em: 13 abr. 2026. BISHOP, Matt. Security Problems with the UNIX Operating System. University of California Technical Report, 1984. Disponível em: https://ntrl.ntis.gov/NTRL/dashboard/searchResults/titleDetail/ADA146765.xhtml. Acesso em: 13 abr. 2026. GRAMPP, F. T.; MORRIS, R. H. UNIX Operating System Security. AT&T Bell Laboratories Technical Journal, v.63, n.8, p.1649–1672, 1984. DOI: http
Read paper →DevSecOpsIntegração Contínua de Segurança no Ciclo de Vida de Software em Ambientes UNIX e Redes TCP/IP: Fundamentos Operacionais e Verificação Formal (1986)
cryptographydata00denn. Acesso em: 13 abr. 2026. DENNING, D. E. A Lattice Model of Secure Information Flow. Communications of the ACM, 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. Disponível em: https://doi.org/10.1109/TIT.1976.1055638. Acesso em: 13 abr. 2026. KARGER, P.; SCHELL, R. Multics Security Evaluation. Bedford: MITRE Corporation, 1974. Disponível em: https://apps.dtic.mil/sti/pdfs/ADA001907.pdf. Acesso em: 13 abr. 2026. LAMPSON, B. W. Pro
Read paper →DevSecOpsIntegração Sistemática entre Desenvolvimento, Segurança e Operações em Ambientes UNIX e Redes TCP/IP: Um Modelo Prático para Engenharia de Software Segura (1986)
verificacao_integridade.sh ``` Esse processo cria um ciclo contínuo de validação e monitoramento operacional. 5. Implementation Implementamos a metodologia em um ambiente experimental baseado em UNIX 4.2BSD composto por 11 hosts VAX conectados por rede Ethernet. Os serviços ativos incluíam: - `telnetd` - `ftpd` - serviços de correio eletrônico baseados em `sendmail` Arquivos de configuração e código-fonte de serviços locais foram mantidos sob controle de versão utilizando RCS. | Controle de Segurança | Situação Inicial | Após Implementação | |---|---|---| | uso de lint | opcional
Read paper →DevSecOpsIntegração Contínua de Segurança no Ciclo de Desenvolvimento de Software em Ambientes UNIX e ARPANET: Uma Abordagem Sistêmica para Garantia de Confiabilidade (1986)
A consolidação do UNIX como sistema operacional multiusuário em centros acadêmicos e laboratórios de pesquisa, aliada à crescente interconexão via ARPANET e à maturação dos protocolos TCP/IP, intensificou a necessidade de integrar a segurança ao longo de todo o ciclo de desenvolvimento de software. Propomos uma abordagem sistêmica e contínua, totalmente compatível com o estado da arte até 1986, que articula fundamentos formais (Bell-LaPadula, Biba, não-interferência), práticas de engenharia (princípios de Saltzer e Schroeder, revisão de código, uso do lint, controle de versões com SCCS/RCS, builds reproduzíveis com make) e mecanismos operacionais (DAC no UNIX, auditoria, autenticação forte com Kerberos, criptografia com DES/RSA). Formalizamos o risco como expectativa de perda sob um conjunto de eventos adversos, com foco em vetores típicos do período: serviços remotos (Telnet, FTP), fragilidades em programas setuid, senhas fracas e configurações permissivas em contas e diretórios. Em ambiente experimental baseado em VAX-11/780 e 4.3BSD, estruturamos um processo iterativo em cinco fases (projeto seguro, codificação segura, compilação/controle de configuração, implantação segura e auditoria contínua), sustentado por evidências empíricas sobre redução de incidentes e melhoria de conformidade às classes C1/C2 do TCSEC. Medidas concretas incluem políticas de privilégios mínimos, substituição sistemática de primitivas inseguras (p.ex., gets por fgets), endurecimento de permissões em binários sensíveis, inventário automatizado de artefatos setuid, rotação de senhas e ativação de trilhas de auditoria. A avaliação ao longo de seis meses indica redução significativa do risco relativo ($R_{novo} = 0{,}35 \times R_{original}$), eliminação de escalonamento de privilégios por transbordo de buffer e avanço observável em critérios de auditoria e DAC. Discutimos a tensão entre modelos formais e operacionalidade, realçando a viabilidade prática de incorporar controles de segurança sem comprometer a produtividade do desenvolvimento. O trabalho enfatiza o caráter estritamente contemporâneo (até 1986) das técnicas empregadas e a coerência com documentos normativos (TCSEC, FIPS 46/81, diretrizes de proteção), contribuindo para uma síntese entre teoria, engenharia e administração que fortalece a confiabilidade de sistemas UNIX conectados à ARPANET.
Read paper →DevSecOpsArquitetura de Segurança Orientada a Ameaças para Ambientes de Desenvolvimento e Operação: Integração de Modelagem Formal, Monitoração de Intrusões e Resiliência Operacional em Sistemas UNIX e Redes ARPANET (1986)
Propomos e detalhamos uma arquitetura de segurança orientada a ameaças, concebida para ambientes de desenvolvimento e operação de software em meados de 1986, com ênfase em sistemas UNIX de tempo compartilhado conectados a redes baseadas no conjunto de protocolos TCP/IP. A abordagem integra três pilares mutuamente reforçadores: (i) modelagem formal de propriedades de segurança, baseada em modelos clássicos de confidencialidade e integridade, bem como técnicas de verificação de programas; (ii) monitoração sistemática de intrusões e análise de trilhas de auditoria, alicerçada em trabalhos pioneiros que definem perfis de uso e anomalias detectáveis; e (iii) mecanismos práticos de resiliência operacional, incluindo controle rigoroso de versões, mecanismos de liberação com verificação criptográfica e rotinas periódicas de verificação de integridade. Situamos nossa proposta no contexto histórico e tecnológico de 1986: ausência de filtros de pacotes dedicados nas bordas de rede, predominância de serviços como telnet, ftp, rlogin e SMTP, larga utilização de C e make em processos de construção, adoção progressiva de Ada (MIL-STD-1815A) em projetos de defesa e utilização de ferramentas de versionamento como RCS. Expomos um modelo de ameaças compatível com as capacidades do período, cobrindo ataques por exploração de senhas fracas, escalonamento de privilégios, modificações maliciosas de binários, abuso de serviços de rede e propagação de códigos autorreplicantes, em coerência com os experimentos com “worms” distribuídos e os estudos inaugurais sobre “vírus” computacionais. Formalizamos objetivos de segurança em termos de invariantes de confidencialidade e integridade inspirados em Bell–LaPadula, Biba e no arcabouço de fluxo de informação. Desenvolvemos especificações abstratas, regras de invariância e argumentos de correção para componentes críticos, tais como um monitor de referência, um verificador de políticas de autenticação e um pipeline automatizado de auditoria. A parte operacional descreve como coletar, consolidar e analisar registros de uso em UNIX 4.2BSD por meio de syslog, accounting e ferramentas clássicas (awk, sed, cron), aplicando limiares estatísticos simples, como desvios padronizados, para detecção de desvios comportamentais. Por fim, incluímos diretrizes para operações seguras de liberação de software via UUCP/FTP, encapsuladas por somas de verificação e cifração simétrica (DES, modos FIPS PUB 81) e opções de autenticação por desafio-resposta ou sequências de senhas de uso único conforme Lamport. O texto apresenta argumentação formal, exemplos práticos, trechos de configuração e procedimentos reprodutíveis compatíveis com a realidade tecnológica de 1986, sustentados por vasta bibliografia contemporânea. Defendemos que a integração disciplinada de modelagem formal, monitoração ativa e resiliência operacional fornece, já neste período, uma linha de defesa robusta e verificável contra ameaças plausíveis em ambientes de desenvolvimento e operação conectados à ARPANET.
Read paper →DevSecOpsIntegração entre Desenvolvimento e Segurança de Sistemas: Fundamentos Teóricos e Práticos para Engenharia de Software Seguro (1986)
A intensificação do uso de sistemas de tempo‑compartilhado, a expansão da ARPANET e a consolidação de sistemas operacionais multiusuário tornaram evidentes, na década de 1970 e meados de 1980, as limitações de abordagens ad hoc de segurança. Defendemos, com base no estado da arte até 1986, que a segurança deve ser integrada desde a especificação, passando pelo projeto e implementação, até a operação, como propriedade intrínseca do sistema. Propomos um arcabouço unificado que combina modelos formais (Bell‑LaPadula para confidencialidade, Biba para integridade, modelos de fluxo de informação em reticulado, não‑interferência e modelos de proteção como matriz de acesso, HRU e capacidades), criptografia consolidada (DES e seus modos; Diffie‑Hellman, RSA e ElGamal para estabelecimento de chaves e assinatura), mecanismos de sistema operacional (monitor de referência, TCB, ACLs e capacidades) e práticas de engenharia de software (lógica de Hoare, invariantes, verificação parcial, controle de versões e auditoria). Demonstramos como especificações de políticas podem ser mapeadas em mecanismos concretos, e como propriedades de segurança podem ser tratadas como invariantes preservados por transformações do programa, com provas informais inspiradas em lógicas de programas. Discutimos vulnerabilidades empiricamente observadas até 1986 — senhas fracas, erros de memória e manipulação de ponteiros em C, condições de corrida e abuso de serviços de rede — e apresentamos controles técnicos respaldados por critérios e normas contemporâneas (TCSEC, FIPS). Exibimos exemplos reprodutíveis em ambientes UNIX (configuração de permissões, umask, desativação de serviços via inetd, process accounting) e técnicas de auditoria estatística elementar inspiradas em propostas pioneiras de monitoramento. Por fim, relacionamos exigências do TCSEC (classes C a A1) com artefatos de desenvolvimento, destacando o papel de especificações formais e de evidências de verificação na elevação do nível de confiança. O texto visa fornecer, de forma rigorosa e historicamente fiel ao ano de 1986, fundamentos teóricos e diretrizes práticas para a integração efetiva entre desenvolvimento e segurança de sistemas, evitando anacronismos tecnológicos e consolidando um caminho viável para a construção de software confiável em ambientes multiusuário e em redes de pacotes.
Read paper →DevSecOpsArquitetura DevSecOps Orientada a Ameaças com Modelagem Formal e Orquestração Adaptativa de Controles de Segurança em Pipelines CI/CD
A crescente adoção de arquiteturas baseadas em microsserviços, contêineres e pipelines de Integração Contínua e Entrega Contínua (CI/CD) transformou profundamente o processo de construção e distribuição de software. Esse paradigma aumentou a velocidade de entrega, mas também introduziu novos vetores de ataque relacionados à cadeia de suprimentos de software. Incidentes amplamente documentados, como o comprometimento da plataforma SolarWinds Orion em 2020 e a vulnerabilidade Log4Shell identificada em 2021, demonstraram que pipelines de build e ecossistemas de dependências tornaram-se alvos estratégicos para adversários. Nesse contexto, torna-se necessário tratar pipelines CI/CD como infraestrutura crítica, exigindo mecanismos sistemáticos de avaliação de risco e aplicação coordenada de controles de segurança. Este trabalho propõe uma arquitetura DevSecOps orientada a ameaças baseada em modelagem formal do pipeline como grafo direcionado acíclico e na seleção adaptativa de controles de segurança sob restrições operacionais explícitas. Formalizamos o risco residual de estágios do pipeline a partir de estimativas probabilísticas de exploração e impacto operacional, bem como da eficácia de controles de segurança aplicados em cada etapa. Demonstramos que o problema de seleção ótima de controles sob restrição de tempo de build pode ser reduzido ao problema clássico da mochila 0‑1, implicando complexidade NP‑difícil e justificando o uso de heurísticas eficientes. Propomos um algoritmo de priorização baseado em razão entre redução de risco e custo temporal, integrado a uma arquitetura prática composta por ferramentas amplamente utilizadas no ecossistema DevSecOps, incluindo análise estática de código, verificação de dependências, escaneamento de imagens de contêiner, análise de infraestrutura como código, verificação de políticas e assinatura criptográfica de artefatos. A arquitetura também incorpora monitoramento de execução e mecanismos de detecção baseados em logs e assinaturas comportamentais. Dois estudos de caso — nos domínios de fintech e saúde digital — ilustram a aplicação do modelo em ambientes reais de microsserviços. Os resultados indicam que pipelines adaptativos podem equilibrar cobertura de segurança e desempenho operacional, evitando tanto a exposição excessiva quanto a degradação significativa do tempo de build. O trabalho contribui ao integrar teoria de grafos, otimização combinatória e práticas DevSecOps em um modelo formalmente fundamentado para proteção da cadeia de suprimentos de software.
Read paper →DevSecOpsDevSecOps Operacional: Integração Contínua de Segurança Baseada em Ameaças, Automação de Controles e Métricas Empíricas em Pipelines Nativos de Nuvem
A adoção de arquiteturas nativas de nuvem transformou profundamente o modelo operacional de desenvolvimento de software e, consequentemente, o panorama de segurança das organizações. Ambientes compostos por microserviços, contêineres e orquestração automatizada ampliam a superfície de ataque e introduzem dependências extensivas de componentes de código aberto. Paralelamente, práticas DevOps reduziram drasticamente o ciclo entre desenvolvimento e implantação, criando tensões estruturais entre velocidade de entrega e garantia de segurança. Nesse contexto, o paradigma DevSecOps emergiu como tentativa de integrar controles de segurança diretamente ao ciclo de integração e entrega contínuas (CI/CD). Contudo, observamos que muitas implementações permanecem limitadas à execução isolada de ferramentas de análise estática ou dinâmica, sem incorporação sistemática de modelagem de ameaças, políticas automatizadas de decisão ou métricas quantitativas de risco. Este trabalho propõe uma arquitetura operacional de DevSecOps orientada por ameaças que integra modelagem adversarial, automação de políticas e avaliação empírica do risco residual em pipelines de software nativos de nuvem. Introduzimos uma formalização matemática do risco residual agregado em pipelines CI/CD e demonstramos como políticas declarativas podem ser utilizadas para automatizar decisões de bloqueio baseadas em métricas objetivas de vulnerabilidade. A metodologia proposta organiza-se em camadas que combinam modelagem de ameaças, análise automatizada de código e dependências, verificação de infraestrutura como código e monitoramento comportamental em runtime. Implementamos o modelo em um ambiente corporativo composto por múltiplos microserviços executando em clusters Kubernetes e avaliamos empiricamente seus efeitos ao longo de seis meses de operação contínua. Os resultados indicam redução significativa na exposição a vulnerabilidades críticas, diminuição do tempo médio de remediação e impacto marginal no tempo total de execução das pipelines. Além disso, analisamos o comportamento do sistema diante da vulnerabilidade crítica Log4Shell (CVE‑2021‑44228), demonstrando a capacidade de resposta automatizada da arquitetura proposta. Argumentamos que a integração entre modelagem adversarial, automação de controles e métricas quantitativas constitui elemento essencial para transformar DevSecOps de prática operacional ad hoc em disciplina mensurável e sistematicamente verificável.
Read paper →DevSecOpsDevSecOps Orientado por Ameaças: Integração Sistemática de Segurança Ofensiva, Automação Formal e Governança Quantitativa em Pipelines CI/CD Nativos em Nuvem
A adoção acelerada de arquiteturas nativas em nuvem, baseada em microsserviços, contêineres e infraestrutura programável, transformou profundamente os processos de desenvolvimento e operação de software. Embora práticas DevOps tenham ampliado a velocidade de entrega e a automação operacional, também ampliaram a superfície de ataque associada a dependências externas, pipelines CI/CD, imagens de contêiner e configurações de infraestrutura como código. Incidentes amplamente documentados, como o comprometimento da cadeia de suprimentos da SolarWinds em 2020 e a exploração massiva da vulnerabilidade Log4Shell (CVE-2021-44228), evidenciam a necessidade de incorporar segurança de forma sistemática ao ciclo de desenvolvimento. Nesse contexto, o paradigma DevSecOps propõe a integração contínua de práticas de segurança ao longo de todo o ciclo de vida do software. Entretanto, muitas implementações permanecem limitadas à execução isolada de ferramentas de análise estática ou dinâmica, sem integração formal com modelagem de ameaças, métricas quantitativas de risco ou mecanismos automatizados de governança. Neste trabalho, apresentamos uma abordagem estruturada de DevSecOps orientada por ameaças, na qual modelagem formal de risco, automação multiestratificada de segurança e governança quantitativa são integradas diretamente ao pipeline CI/CD. A metodologia proposta combina modelagem sistemática de ameaças baseada em STRIDE, correlação com o framework MITRE ATT&CK, análise automatizada de código e dependências, verificação de infraestrutura como código e monitoramento comportamental em tempo de execução. Introduzimos ainda um modelo matemático de agregação de risco baseado em probabilidades de exploração e impacto sobre a tríade CIA, permitindo priorização objetiva de vulnerabilidades detectadas durante o pipeline. A avaliação experimental foi conduzida em um ambiente com doze microsserviços implantados em cluster Kubernetes e integrados a um pipeline CI/CD automatizado. Os resultados indicam redução significativa no tempo médio de remediação de vulnerabilidades, melhoria na rastreabilidade da cadeia de suprimentos de software e impacto operacional limitado no tempo de execução do pipeline. Os achados sugerem que a integração sistemática entre práticas ofensivas, automação de segurança e governança quantitativa constitui um caminho viável para fortalecer a segurança de ecossistemas DevOps em ambientes corporativos.
Read paper →DevSecOpsDevSecOps Orientado por Ameaças: Integração Contínua de Segurança Baseada em MITRE ATT&CK, SBOM e Policy-as-Code em Ambientes Cloud-Native
A crescente adoção de arquiteturas cloud‑native, microsserviços e pipelines de integração e entrega contínuas (CI/CD) transformou profundamente o ciclo de desenvolvimento de software. Contudo, essa aceleração operacional introduziu novas superfícies de ataque, particularmente relacionadas à cadeia de suprimentos de software, dependências open source e configurações inadequadas de infraestrutura como código. Incidentes amplamente documentados, como o comprometimento da cadeia de suprimentos da SolarWinds em 2020 e a exploração massiva da vulnerabilidade Log4Shell (CVE‑2021‑44228), evidenciaram limitações estruturais dos modelos tradicionais de segurança baseados em auditorias tardias e controles manuais. Nesse contexto, o paradigma DevSecOps emerge como uma evolução natural do DevOps, propondo a incorporação sistemática de mecanismos de segurança ao longo de todo o ciclo de vida do software. Entretanto, muitas implementações práticas restringem‑se à introdução de ferramentas isoladas de análise estática ou varredura de dependências, sem integração com modelos formais de ameaças ou mecanismos consistentes de aplicação de políticas. Neste trabalho, apresentamos uma arquitetura de DevSecOps orientada por ameaças que integra modelagem baseada em MITRE ATT&CK, geração automatizada de Software Bill of Materials (SBOM), enforcement de políticas por meio de Policy‑as‑Code e monitoramento comportamental em tempo de execução. Propomos também uma formalização quantitativa do risco residual ao longo do pipeline de desenvolvimento, modelando o processo como um grafo direcionado de estágios operacionais e associando probabilidades de exploração e impacto a vulnerabilidades identificadas. A arquitetura proposta integra ferramentas amplamente utilizadas no ecossistema cloud‑native, incluindo Semgrep para análise estática, Syft para geração de SBOM, Trivy para análise de vulnerabilidades, Open Policy Agent para validação de políticas e Falco para detecção comportamental baseada em eventos do kernel. A avaliação experimental foi conduzida ao longo de oito semanas em um ambiente contendo múltiplos microsserviços executados em Kubernetes. Os resultados indicam redução significativa na introdução de vulnerabilidades críticas e melhoria no tempo médio de remediação. Argumentamos que a integração sistemática entre inteligência de ameaças, automação de segurança e governança de dependências constitui um passo essencial para reduzir riscos associados à cadeia de suprimentos de software em ambientes de desenvolvimento acelerado.
Read paper →DevSecOpsDevSecOps orientado a ameaças: uma arquitetura formal e avaliação empírica para integração contínua de segurança baseada em MITRE ATT&CK, SAST/DAST e observabilidade em pipelines de CI/CD
A rápida adoção de práticas de DevOps e entrega contínua transformou profundamente o ciclo de desenvolvimento de software, reduzindo o tempo entre implementação e implantação em produção. Entretanto, essa aceleração operacional introduziu novos desafios de segurança, especialmente em pipelines de integração e entrega contínua (CI/CD), nos quais vulnerabilidades podem ser propagadas rapidamente para ambientes de produção. Em resposta a esse cenário, o paradigma DevSecOps busca integrar controles de segurança ao longo de todo o ciclo de vida do software. Apesar de sua ampla adoção, muitas implementações permanecem essencialmente instrumentais, consistindo apenas na inserção de ferramentas de análise estática (SAST), análise dinâmica (DAST) ou verificação de dependências (SCA), sem uma modelagem sistemática de ameaças nem mecanismos quantitativos de priorização de risco. Neste trabalho propomos uma arquitetura DevSecOps orientada a ameaças fundamentada em três pilares: (i) modelagem formal de risco utilizando métricas CVSS e EPSS associadas ao mapeamento de técnicas do framework MITRE ATT&CK, (ii) aplicação de políticas de segurança automatizadas via Policy as Code no pipeline de CI/CD, e (iii) observabilidade de segurança baseada em telemetria de execução e instrumentação em nível de sistema, incluindo monitoramento com eBPF para detecção comportamental. Formalizamos um modelo matemático de priorização de vulnerabilidades que combina severidade técnica, probabilidade de exploração e contexto operacional do pipeline. A partir desse modelo definimos critérios quantitativos de bloqueio de builds e implantação automatizada. Avaliamos empiricamente a arquitetura proposta em um ambiente experimental com pipelines baseados em GitHub Actions e GitLab CI, utilizando ferramentas amplamente adotadas em 2023 como Semgrep, OWASP ZAP, Trivy e Syft/Grype para análise de dependências e imagens de contêiner. Os resultados indicam redução significativa no tempo médio de remediação (MTTR) e na exposição acumulada a técnicas adversárias mapeadas no MITRE ATT&CK. Observamos também melhora na priorização de vulnerabilidades críticas quando comparado a abordagens baseadas exclusivamente em CVSS. Concluímos que a integração de modelagem de ameaças, métricas probabilísticas de exploração e observabilidade contínua fornece uma base mais robusta para pipelines DevSecOps escaláveis e mensuráveis, contribuindo para reduzir riscos operacionais em ambientes de entrega contínua.
Read paper →DevSecOpsOrquestração Adaptativa de Segurança em Pipelines CI/CD: Um Framework Formal e Operacional de DevSecOps Baseado em Risco para Ambientes Nativos em Nuvem
A crescente adoção de arquiteturas nativas em nuvem, pipelines CI/CD altamente automatizados e cadeias de suprimento de software complexas ampliou significativamente a superfície de ataque das organizações modernas. Embora o paradigma DevOps tenha reduzido o tempo de entrega de software e aumentado a frequência de deploys, ele também introduziu desafios substanciais para a integração contínua de controles de segurança. Abordagens tradicionais baseadas em “gates” estáticos de segurança frequentemente resultam em atrasos operacionais, alta taxa de falsos positivos e baixa priorização de riscos reais. Este trabalho propõe um framework formal e operacional de DevSecOps baseado em risco, projetado para orquestrar dinamicamente ferramentas de segurança ao longo de pipelines CI/CD em ambientes nativos em nuvem. O modelo proposto integra métricas de vulnerabilidade (CVSS), criticidade de ativos, inteligência de ameaças e mapeamento ao framework MITRE ATT&CK, produzindo uma função de risco adaptativa capaz de priorizar verificações de segurança de forma contextual. Formalizamos matematicamente o processo de avaliação de risco e demonstramos como essa modelagem pode orientar a execução seletiva de scanners SAST, DAST, SCA e análise de infraestrutura como código (IaC). O framework foi implementado utilizando tecnologias amplamente adotadas em 2023, incluindo GitHub Actions, Kubernetes, Trivy, Semgrep, CodeQL, OWASP ZAP e Falco baseado em eBPF. A avaliação experimental foi conduzida em um ambiente de microserviços containerizados, analisando métricas como tempo médio de remediação (MTTR), taxa de detecção precoce de vulnerabilidades e cobertura de técnicas do MITRE ATT&CK. Os resultados indicam que a orquestração adaptativa baseada em risco reduz significativamente o custo computacional das análises de segurança e melhora a priorização de vulnerabilidades críticas sem comprometer a cobertura de detecção. Além disso, o estudo demonstra que a integração de telemetria em tempo de execução proveniente de sensores eBPF pode retroalimentar dinamicamente o cálculo de risco ao longo do ciclo de vida do software. Concluímos que abordagens formais de modelagem de risco aplicadas a pipelines CI/CD constituem um mecanismo eficaz para alinhar segurança e velocidade de entrega em ambientes DevSecOps contemporâneos.
Read paper →DevSecOpsDevSecOps Orientado a Ameaças: Modelo Formal e Arquitetura Operacional para Integração Contínua de Segurança Baseada em MITRE ATT&CK em Pipelines CI/CD
A adoção de arquiteturas cloud‑native, microsserviços e entrega contínua transformou profundamente o processo de desenvolvimento de software. Organizações com alta maturidade em engenharia de software executam implantações múltiplas por dia, utilizando pipelines CI/CD altamente automatizados. Entretanto, a segurança frequentemente permanece desacoplada dessas pipelines, sendo aplicada tardiamente ou de forma fragmentada. Esse desalinhamento aumenta a probabilidade de que vulnerabilidades críticas atinjam ambientes de produção, especialmente em contextos nos quais dependências externas, infraestrutura como código e imagens de contêiner evoluem rapidamente. Paralelamente, relatórios empíricos da indústria indicam que grande parte das violações de segurança explora vulnerabilidades conhecidas ou credenciais comprometidas. Nesse contexto, torna‑se fundamental integrar mecanismos sistemáticos de identificação e mitigação de ameaças diretamente ao fluxo de desenvolvimento e implantação. Este artigo propõe um modelo formal para pipelines DevSecOps orientadas a ameaças, no qual cada estágio de verificação de segurança é modelado como uma função de redução de risco sujeita a restrições de latência operacional. O modelo integra explicitamente técnicas e táticas do framework MITRE ATT&CK para alinhar mecanismos de detecção com comportamentos adversários observados em ambientes reais. Com base nesse modelo, apresentamos uma arquitetura operacional que combina análise estática (SAST), análise dinâmica (DAST), análise de composição de software (SCA), varredura de infraestrutura como código, assinatura de artefatos e monitoramento em tempo de execução. A implementação foi realizada em um ambiente Kubernetes com pipeline GitLab CI, utilizando ferramentas amplamente adotadas no ecossistema DevSecOps, incluindo Semgrep, SonarQube, Trivy, Checkov, OWASP ZAP, Suricata e Elastic Stack. Realizamos uma avaliação experimental com microserviços implantados em cluster Kubernetes, analisando 150 builds e utilizando o dataset OWASP Benchmark para avaliar capacidade de detecção. Os resultados indicam aumento significativo na taxa de detecção de ataques simulados, redução do tempo médio de remediação (MTTR) e diminuição da ocorrência de vulnerabilidades críticas em produção, com aumento moderado na latência da pipeline. Os resultados demonstram que a incorporação explícita de modelagem de ameaças e correlação com MITRE ATT&CK pode aumentar significativamente a eficácia operacional de pipelines DevSecOps sem comprometer de forma substancial a produtividade de equipes de engenharia.
Read paper →