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 →127 papers
Análise Formal e Avaliação Empírica de Protocolos Criptográficos em Ambientes Distribuídos: Fundamentos, Ataques e Mecanismos de Mitigação até 2018
A crescente dependência de infraestruturas distribuídas e serviços conectados à Internet, intensificada pela adoção de computação em nuvem e arquiteturas orientadas a serviços, impôs desafios significativos à segurança da informação até o ano de 2018. Protocolos criptográficos como TLS, IPsec e mecanismos baseados em infraestrutura de chave pública (PKI) tornaram-se pilares fundamentais para garantir confidencialidade, integridade e autenticidade. Contudo, falhas de projeto, implementação e configuração têm historicamente comprometido tais garantias, como evidenciado por ataques amplamente documentados, incluindo Heartbleed, POODLE, DROWN, BEAST e a exploração de canais laterais. Neste trabalho, conduzimos uma análise formal e empírica de protocolos criptográficos empregados em ambientes distribuídos, com foco em modelos de ameaça realistas e na evolução das vulnerabilidades até 2018. Inicialmente, estabelecemos fundamentos matemáticos baseados em noções de segurança semântica, indistinguibilidade sob ataque de texto escolhido (IND-CPA e IND-CCA) e modelos formais como o modelo de Dolev-Yao. Em seguida, examinamos ataques relevantes que exploram fragilidades em negociações criptográficas, reuso de parâmetros, fraquezas em funções de hash e configurações inadequadas. Propomos diretrizes de mitigação fundamentadas em princípios formais, incluindo validação rigorosa de certificados, desativação de algoritmos obsoletos, uso de Perfect Forward Secrecy (PFS) e verificação automatizada de protocolos por meio de ferramentas como ProVerif e AVISPA. Complementarmente, avaliamos impactos regulatórios introduzidos pelo Regulamento Geral de Proteção de Dados (GDPR) em 2018, destacando a necessidade de medidas técnicas apropriadas e verificáveis. Concluímos que a combinação entre verificação formal, boas práticas de engenharia criptográfica e monitoramento contínuo constitui requisito indispensável para a resiliência de sistemas distribuídos. Este estudo consolida fundamentos teóricos e evidências empíricas disponíveis até 2018, oferecendo uma base rigorosa para avaliação e fortalecimento de protocolos criptográficos em ambientes reais.
Read paper →CryptoAvaliação Operacional de Criptografia Aplicada à Segurança Cibernética: Modelagem de Ameaças, Implementação Prática e Análise Empírica de Protocolos Criptográficos Modernos (2018)
A criptografia tornou-se o mecanismo central para garantir confidencialidade, integridade e autenticidade em infraestruturas digitais modernas. Entretanto, a segurança efetiva de sistemas criptográficos não depende apenas da robustez matemática dos algoritmos, mas também de decisões operacionais de implementação, gerenciamento de chaves e integração com protocolos de rede. Em 2018, incidentes de larga escala como NotPetya (2017), WannaCry (2017) e o aumento de ransomware corporativo demonstraram que criptografia pode ser tanto um mecanismo defensivo quanto um vetor ofensivo quando utilizada por adversários. Este trabalho apresenta uma análise operacional da criptografia no contexto da segurança cibernética, abordando tanto mecanismos defensivos quanto técnicas de abuso por adversários. Inicialmente, são revisados os fundamentos criptográficos relevantes para sistemas contemporâneos, incluindo RSA, ECC, AES e funções hash seguras como SHA‑2, bem como protocolos amplamente utilizados como TLS 1.2 e implementações de infraestrutura de chave pública (PKI). Em seguida, definimos um modelo de ameaças realista baseado no framework MITRE ATT&CK e em campanhas observadas entre 2015 e 2018. Propomos uma metodologia de avaliação que combina análise de configuração criptográfica, testes de penetração direcionados, inspeção de tráfego TLS e verificação de práticas de gerenciamento de chaves. A implementação experimental utiliza ferramentas amplamente empregadas em operações de segurança ofensiva e defensiva, incluindo OpenSSL, Nmap NSE, Wireshark e Hashcat. Resultados experimentais obtidos em ambientes laboratoriais demonstram que grande parte das vulnerabilidades criptográficas observadas em sistemas corporativos não decorre de falhas nos algoritmos, mas sim de configurações inseguras, reutilização de chaves, suporte a suites criptográficas obsoletas e práticas inadequadas de armazenamento de segredos. Um estudo de caso baseado em infraestrutura corporativa simulada demonstra como adversários podem explorar essas fraquezas para realizar interceptação de tráfego, ataques de downgrade e extração de credenciais. Finalmente, discutimos implicações práticas para arquiteturas de segurança modernas e propomos recomendações operacionais para fortalecer implementações criptográficas em ambientes empresariais e de nuvem emergentes. Os resultados reforçam a necessidade de tratar criptografia como um componente operacional contínuo dentro de estratégias de segurança, e não apenas como um mecanismo matemático isolado.
Read paper →CryptoArquitetura Criptográfica Adaptativa para Ambientes Hostis: Formalização, Implementação e Avaliação Empírica de um Modelo Resiliente contra Ameaças Avançadas (2018)
A criptografia constitui o principal mecanismo de garantia de confidencialidade, integridade e autenticidade em infraestruturas digitais contemporâneas. Entretanto, incidentes recorrentes como Heartbleed, Logjam, POODLE e campanhas de ransomware como WannaCry e NotPetya evidenciam que a segurança prática de sistemas criptográficos depende não apenas da solidez matemática dos algoritmos, mas também da robustez de suas implementações, configurações e processos operacionais. Neste trabalho, propomos e formalizamos uma arquitetura criptográfica adaptativa destinada a ambientes hostis, caracterizados por ameaças ativas, tentativas de downgrade de protocolo, interceptação de tráfego e exploração de configurações legadas. Desenvolvemos um modelo matemático de avaliação contínua de risco, no qual a seleção dinâmica de suites criptográficas é tratada como um problema de minimização de função de risco ponderada. A arquitetura integra sensores de telemetria TLS baseados em Zeek, mecanismos de detecção de intrusão com Suricata, módulos criptográficos OpenSSL e dispositivos HSM compatíveis com PKCS11, permitindo monitoramento e reconfiguração automatizada de parâmetros criptográficos. Implementamos um protótipo experimental em ambiente controlado compatível com tecnologias disponíveis até 2018, avaliando desempenho, taxa de detecção e impacto operacional. Os resultados indicam taxa média de detecção de ataques de downgrade superior a 95%, redução significativa da exposição a suites fracas e overhead computacional inferior a 7%. Discutimos implicações para centros de operações de segurança (SOC), requisitos de conformidade regulatória no contexto do GDPR e limitações inerentes à dependência de telemetria precisa. Concluímos que arquiteturas adaptativas representam uma evolução necessária em direção a mecanismos criptográficos operacionalmente resilientes, mantendo rigor formal e viabilidade prática.
Read paper →CryptoArquitetura Cripto-Operacional Resiliente contra Comprometimento de Chaves e Ataques de Ransomware: Um Framework Integrado de Gestão, Detecção e Resposta Baseado em Criptografia Aplicada
A crescente dependência de mecanismos criptográficos em infraestruturas corporativas ampliou a superfície de risco associada não à quebra matemática de algoritmos, mas à gestão operacional de chaves e à sua integração com sistemas complexos. Incidentes amplamente documentados até 2019 demonstram que vazamentos de credenciais, extração de material sensível em memória e abuso de privilégios administrativos constituem vetores predominantes de comprometimento. Paralelamente, campanhas de ransomware como WannaCry (2017), NotPetya (2017) e Ryuk (2018) evidenciaram o uso sistemático de criptografia híbrida para maximizar impacto operacional. Neste trabalho, propomos uma Arquitetura Cripto-Operacional Resiliente (ACOR) que integra gestão segura de chaves, telemetria comportamental e resposta automatizada a incidentes, com fundamento em práticas estabelecidas pelo NIST e alinhamento ao framework MITRE ATT&CK, amplamente adotado até 2019. Formalizamos o risco criptográfico operacional como função probabilística do comprometimento de chaves e seu impacto, modelando propriedades de segurança sob um adversário com capacidade de escalonamento de privilégios e extração de memória. Introduzimos um algoritmo de detecção baseado na entropia temporal do uso de chaves criptográficas, demonstrando complexidade linear e aplicabilidade em ambientes corporativos virtualizados. Implementamos o framework utilizando HashiCorp Vault, SoftHSM v2, Elastic Stack 7.x e Suricata, em um ambiente experimental com 500 máquinas virtuais. Os resultados indicam taxa de detecção de 93,8% para cenários simulados de uso anômalo de chaves e redução de 68% no tempo médio de resposta (MTTR), com sobrecarga de desempenho inferior a 8% em conexões TLS. Concluímos que a integração entre controles criptográficos ativos e monitoramento estatístico representa estratégia viável para mitigar riscos operacionais associados ao uso legítimo da criptografia, especialmente em contextos sujeitos a requisitos regulatórios como o GDPR (2018).
Read paper →CryptoArquitetura Criptográfica Resiliente para Infraestruturas Distribuídas: Modelagem Formal, Implementação Operacional e Avaliação Empírica sob Ameaças Avançadas (2019)
A crescente dependência de infraestruturas distribuídas para serviços financeiros, industriais e governamentais impõe requisitos rigorosos de segurança criptográfica, tanto sob o ponto de vista formal quanto operacional. Embora protocolos modernos como TLS 1.3 tenham fortalecido propriedades como forward secrecy e autenticação mútua, incidentes amplamente documentados evidenciam que vulnerabilidades de implementação, configurações inseguras e falhas no gerenciamento de chaves continuam sendo vetores críticos de comprometimento. Neste trabalho, propomos uma arquitetura criptográfica resiliente que integra modelagem formal de risco, hardening de configuração, monitoramento contínuo de handshakes TLS e correlação de eventos orientada a ameaças alinhadas ao framework MITRE ATT&CK (versões até 2019). Formalizamos o risco criptográfico como uma variável aleatória dependente da probabilidade condicional de comprometimento e do impacto associado, incorporando fatores como downgrade de protocolo, uso de cifras obsoletas e exposição de credenciais. Implementamos a arquitetura em um ambiente experimental composto por 120 máquinas virtuais, utilizando OpenSSL 1.1.1, Suricata 4.x, Elastic Stack 7.x, HSM compatível com PKCS11 e orquestração Kubernetes 1.15, todos compatíveis com o estado da arte em 2019. Avaliamos métricas de taxa de detecção, falsos positivos e sobrecarga de latência em 3 milhões de sessões TLS. Os resultados indicam taxa de detecção de 97,8% para tentativas de downgrade, com falso positivo de 1,9% e sobrecarga média de 4,6%. Demonstramos que a integração entre garantias formais (IND-CPA, autenticidade e forward secrecy) e telemetria operacional reduz significativamente a superfície de ataque, quando comparada a uma linha de base sem monitoramento. Concluímos que a resiliência criptográfica requer abordagem holística, combinando verificação formal, boas práticas de configuração e detecção ativa de anomalias em tempo quase real.
Read paper →CryptoArquitetura Cripto-Resiliente para Defesa contra Ransomware e Comprometimento de Chaves: Modelagem Formal, Implementação e Avaliação Empírica em Ambientes Corporativos (2019)
O uso intensivo de criptografia constitui simultaneamente o principal mecanismo de proteção da informação corporativa e o vetor central de impacto em campanhas modernas de ransomware. Incidentes como WannaCry (2017) e NotPetya (2017) demonstraram que a combinação de exploração remota, movimentação lateral automatizada e criptografia híbrida pode gerar indisponibilidade sistêmica e prejuízos bilionários. Embora a literatura proponha mecanismos de detecção baseados em padrões de I/O e monitoramento de modificações massivas de arquivos, observa-se lacuna na integração entre modelagem formal do abuso de primitivas criptográficas e gestão robusta de chaves criptográficas. Neste trabalho, propomos uma arquitetura cripto-resiliente que combina (i) modelagem formal do comportamento adversarial no uso de APIs criptográficas, (ii) detecção comportamental baseada em métricas de entropia e taxa de chamadas, e (iii) infraestrutura segura de gestão de chaves fundamentada nas recomendações do NIST SP 800-57 e no uso de TPM 2.0 e HSM. Formalizamos o modelo de ameaça considerando adversários com capacidade de execução remota de código e movimentação lateral via SMB, alinhado à matriz MITRE ATT&CK (versão 2019). Implementamos a arquitetura em ambiente corporativo controlado com 120 máquinas virtuais (Windows 10 e Ubuntu 18.04), integrando Sysmon, Suricata 4.x, Elastic Stack 7.x, HashiCorp Vault e módulos TPM. A avaliação empírica, conduzida com 50 amostras reais de ransomware (incluindo Ryuk e variantes contemporâneas a 2018), demonstra redução de 73% no Mean Time to Detect (MTTD) e de 61% no Mean Time to Contain (MTTC) em comparação com baseline baseado em antivírus tradicional e backup diário. A taxa de falsos positivos permaneceu abaixo de 4%, indicando viabilidade operacional. Concluímos que a integração entre telemetria criptográfica e gestão ativa de chaves constitui mecanismo efetivo de resiliência organizacional frente a ataques de impacto criptográfico.
Read paper →CryptoArquitetura Criptográfica Resiliente a Ameaças Avançadas: Formalização, Implementação e Avaliação Empírica de um Modelo Híbrido para Proteção de Infraestruturas Críticas
A segurança de infraestruturas críticas depende, de forma crescente, da robustez e da correta integração de mecanismos criptográficos. Embora algoritmos como AES, RSA, ECDSA e protocolos como TLS 1.2 e TLS 1.3 apresentem fundamentos matemáticos sólidos, incidentes históricos demonstram que vulnerabilidades de implementação, falhas de configuração, ataques de downgrade e canais laterais comprometem sistemas considerados teoricamente seguros. Neste trabalho, propomos uma arquitetura criptográfica híbrida e resiliente, concebida para mitigar ameaças avançadas em ambientes corporativos e infraestruturas críticas no contexto tecnológico de 2019. Diferentemente de abordagens centradas exclusivamente na escolha algorítmica, integramos formalização baseada em modelos de segurança do tipo IND-CCA e EUF-CMA, gestão robusta de chaves com uso de módulos de segurança de hardware (HSM), segmentação de funções criptográficas, monitoramento contínuo inspirado na base de conhecimento MITRE ATT&CK e mecanismos de resposta a incidentes. Modelamos adversários adaptativos com capacidades de interceptação, modificação e exploração de falhas de implementação, incluindo ataques de canal lateral e downgrade criptográfico. Implementamos um protótipo empregando OpenSSL 1.1.1 (com suporte a TLS 1.3), HSM compatível com PKCS11 e sistema de detecção de intrusão Suricata. Avaliamos o desempenho em termos de latência, throughput e sobrecarga computacional, comparando configurações RSA-2048 e ECDHE-ECDSA com curvas elípticas recomendadas até 2019. Os resultados indicam que a adoção de ECDHE com curvas como secp256r1 reduz a latência média de handshake em aproximadamente 18% em relação a configurações baseadas exclusivamente em RSA, mantendo propriedades formais de sigilo direto perfeito. Concluímos que a resiliência criptográfica não decorre apenas da escolha de algoritmos robustos, mas da composição formalmente verificada de mecanismos, da gestão segura de chaves e da integração com capacidades de monitoramento e resposta, elementos essenciais à proteção de infraestruturas críticas no cenário contemporâneo.
Read paper →CryptoCriptografia Aplicada à Segurança de Sistemas em Rede: Análise Operacional de DES, RSA e Protocolos de Troca de Chaves no Ambiente UNIX e ARPANET
A crescente interconexão de sistemas computacionais ao longo da década de 1980, especialmente através da ARPANET e de redes acadêmicas baseadas em TCP/IP, introduziu desafios substanciais para a proteção da confidencialidade e da integridade da informação digital. Neste contexto, a criptografia emergiu como o principal mecanismo técnico para proteção de comunicações, autenticação de usuários e armazenamento seguro de dados. Este artigo apresenta uma análise operacional dos principais mecanismos criptográficos disponíveis até 1990, com foco em algoritmos simétricos como o Data Encryption Standard (DES), técnicas de criptografia de chave pública como RSA e protocolos de troca de chaves baseados em Diffie–Hellman. A pesquisa investiga não apenas fundamentos matemáticos, mas também implicações práticas de implementação em sistemas UNIX conectados em rede. Inicialmente, examinamos a evolução histórica da criptografia moderna desde os trabalhos de Diffie e Hellman (1976) até as implementações comerciais de RSA na década de 1980. Em seguida, definimos um modelo de ameaça realista para ambientes multiusuário conectados por redes IP, incluindo adversários capazes de interceptação de tráfego (packet sniffing), comprometimento de contas locais e análise criptográfica offline. A metodologia proposta combina análise teórica de segurança, implementação prática em sistemas UNIX BSD e avaliação empírica de desempenho utilizando bibliotecas de criptografia disponíveis publicamente, como `libdes`. Os resultados experimentais demonstram diferenças significativas entre criptografia simétrica e assimétrica em termos de custo computacional, latência de comunicação e resistência a ataques criptanalíticos conhecidos até o momento. Observa-se que DES permanece adequado para criptografia de sessão em redes acadêmicas, embora preocupações crescentes sobre o tamanho da chave de 56 bits sugiram a necessidade de esquemas de reforço como o Triple-DES. Algoritmos de chave pública, embora computacionalmente mais custosos, oferecem vantagens substanciais para distribuição segura de chaves e autenticação. Um estudo de caso detalha a implementação de autenticação criptográfica baseada em Kerberos em um ambiente UNIX conectado à ARPANET, demonstrando a viabilidade operacional de infraestruturas de autenticação distribuída baseadas em criptografia simétrica. Finalmente, discutimos limitações atuais da tecnologia criptográfica e identificamos direções promissoras para pesquisa futura, incluindo funções de hash criptográficas, infraestrutura de certificação baseada em X.509 e otimizações de hardware para operações modulares de grande escala.
Read paper →CryptoCriptografia Aplicada à Segurança de Redes TCP/IP: Modelagem de Ameaças, Implementação Prática e Avaliação Experimental no Contexto Operacional de Sistemas Distribuídos (Estado da Arte até 1990)
A expansão de redes de computadores interconectadas durante as décadas de 1970 e 1980 transformou profundamente o cenário de segurança da informação. Sistemas anteriormente isolados passaram a operar em ambientes distribuídos baseados em protocolos como TCP/IP, expondo serviços como TELNET, FTP e SMTP a canais potencialmente hostis. Nesse contexto, a criptografia emergiu como o principal mecanismo técnico para garantir confidencialidade, integridade e autenticação em comunicações digitais. Este trabalho apresenta um estudo sistemático das técnicas criptográficas aplicadas à segurança de redes até o ano de 1990, integrando fundamentos matemáticos, arquitetura de protocolos e implementação operacional. Inicialmente analisamos os principais algoritmos e construções criptográficas disponíveis, incluindo DES (Data Encryption Standard), RSA, Diffie–Hellman e esquemas de autenticação baseados em chaves simétricas como Needham–Schroeder e Kerberos. Em seguida formalizamos um modelo de ameaças aplicável a ambientes ARPANET e redes TCP/IP acadêmicas, considerando interceptação de tráfego, ataques de repetição, análise de tráfego e comprometimento de credenciais. Propomos uma metodologia operacional para incorporação de criptografia em serviços de rede existentes, incluindo autenticação centralizada, gerenciamento de chaves e proteção de canais. A implementação experimental foi conduzida em sistemas UNIX rodando em arquiteturas VAX e Sun‑3, utilizando bibliotecas DES e infraestrutura Kerberos versão 4. Resultados empíricos demonstram o impacto computacional da criptografia em enlaces de rede típicos da época (Ethernet 10 Mbps e linhas seriais), bem como os benefícios significativos na mitigação de ataques passivos e ativos. Um estudo de caso baseado em redes universitárias conectadas à NSFNET ilustra desafios reais de implantação, incluindo distribuição de chaves e interoperabilidade entre domínios administrativos. A discussão final examina limitações estruturais dos sistemas criptográficos atuais, especialmente no que diz respeito à gestão de chaves públicas, escalabilidade e resistência a criptoanálise futura. Concluímos que a criptografia, quando combinada com princípios clássicos de segurança de sistemas, constitui o mecanismo mais promissor para proteção de redes distribuídas, embora avanços substanciais ainda sejam necessários para torná‑la transparente e amplamente adotável em infraestruturas globais.
Read paper →CryptoCriptografia Aplicada à Segurança de Redes e Sistemas Distribuídos: Modelagem de Ameaças, Implementação Prática e Avaliação Experimental no Contexto das Infraestruturas Computacionais de 1990
A rápida expansão das redes de computadores durante as décadas de 1970 e 1980 introduziu novos desafios relacionados à confidencialidade, integridade e autenticação de informações digitais. Sistemas interconectados como ARPANET, redes acadêmicas baseadas em TCP/IP e ambientes distribuídos em universidades e centros de pesquisa passaram a operar sobre infraestruturas inerentemente abertas, nas quais interceptação de tráfego, falsificação de identidade e manipulação de mensagens tornaram-se riscos práticos. Nesse cenário, a criptografia emergiu como um componente central para a construção de mecanismos de segurança robustos. Este trabalho apresenta uma análise abrangente das técnicas criptográficas disponíveis até 1990 e sua aplicação prática na proteção de comunicações e sistemas computacionais. São discutidos algoritmos simétricos amplamente adotados, como o Data Encryption Standard (DES), bem como mecanismos de chave pública introduzidos na literatura acadêmica na década de 1970, incluindo RSA e o protocolo de troca de chaves de Diffie-Hellman. O estudo também aborda funções de resumo criptográfico, como MD2, e estruturas de autenticação utilizadas em ambientes distribuídos, com destaque para o sistema Kerberos desenvolvido no MIT. A pesquisa propõe um modelo operacional de implementação criptográfica voltado a redes baseadas em UNIX e TCP/IP, incluindo instrumentação de captura de pacotes com `tcpdump` para análise experimental de ameaças como espionagem de tráfego e ataques de repetição. Experimentos foram conduzidos em um ambiente controlado de rede Ethernet para avaliar o impacto computacional da criptografia em hardware típico da época, incluindo estações Sun e sistemas VAX. Os resultados indicam que mecanismos criptográficos bem implementados podem reduzir significativamente o risco de comprometimento de dados, embora imponham custos computacionais relevantes em sistemas com recursos limitados. Um estudo de caso baseado em ataques observados após o Worm de Morris (1988) demonstra como autenticação criptográfica e troca segura de chaves poderiam mitigar diversos vetores de intrusão. O artigo conclui que a integração sistemática de criptografia em protocolos de rede e serviços distribuídos representa uma das direções mais promissoras para o fortalecimento da segurança computacional nas próximas décadas.
Read paper →CryptoCriptografia Aplicada à Segurança de Sistemas em Redes Abertas: Modelos de Ameaça, Implementação Prática e Avaliação Experimental de Mecanismos Simétricos e de Chave Pública (Estado da Arte até 1990)
A crescente interconexão de sistemas computacionais durante a década de 1980, especialmente através de redes acadêmicas, militares e corporativas baseadas em TCP/IP e X.25, expôs limitações fundamentais dos mecanismos tradicionais de autenticação e confidencialidade. A criptografia emergiu como um dos pilares técnicos para proteção de comunicações, controle de acesso e verificação de integridade em ambientes distribuídos. Este trabalho apresenta um estudo técnico abrangente sobre o uso de criptografia aplicada à segurança de sistemas de informação no contexto tecnológico existente até 1990. Inicialmente são discutidos os fundamentos matemáticos e operacionais de criptografia simétrica, criptografia de chave pública e funções de resumo criptográfico, com ênfase em algoritmos amplamente estudados como DES, RSA, Diffie–Hellman, Rabin e ElGamal. Em seguida, são analisados modelos de ameaça relevantes para redes abertas, incluindo interceptação de tráfego, ataques de repetição, comprometimento de credenciais e exploração de serviços de rede. A formalização do problema considera adversários capazes de observar canais de comunicação e executar ataques criptanalíticos com recursos computacionais limitados, característicos de estações de trabalho UNIX e minicomputadores da época. O trabalho propõe uma metodologia operacional para implantação de mecanismos criptográficos em ambientes reais, incluindo autenticação baseada em Kerberos, troca segura de chaves com Diffie–Hellman e uso de criptografia simétrica para proteção de sessões. A implementação experimental foi conduzida em sistemas UNIX executando em arquitetura VAX, utilizando bibliotecas DES e ferramentas de monitoramento de rede como `tcpdump`. A avaliação empírica compara desempenho computacional, custos de chave e resistência criptográfica de diferentes esquemas. Resultados demonstram que combinações híbridas — utilizando criptografia de chave pública para estabelecimento de sessão e algoritmos simétricos para transmissão de dados — oferecem equilíbrio adequado entre segurança e desempenho computacional. Adicionalmente, é apresentado um estudo de caso envolvendo proteção de autenticação em um ambiente de rede universitária utilizando Kerberos versão IV. A discussão final aborda limitações práticas observadas, incluindo distribuição de chaves, gerenciamento de certificados e riscos associados ao comprometimento de hosts. Conclui-se que a criptografia representa componente essencial da segurança de sistemas distribuídos, mas sua eficácia depende fortemente da correta implementação operacional, gestão de chaves e integração com mecanismos de autenticação e auditoria de rede.
Read paper →CryptoCriptografia Aplicada à Segurança de Sistemas em Redes de Computadores: Modelos de Ameaça, Implementações Práticas e Avaliação Experimental no Contexto de 1990
A crescente interconexão de sistemas computacionais através de redes acadêmicas, militares e corporativas ao longo das décadas de 1970 e 1980 introduziu uma nova classe de riscos de segurança associados à interceptação de comunicações, falsificação de identidade e manipulação de dados. Nesse contexto, a criptografia emergiu como um dos pilares técnicos fundamentais para a proteção de confidencialidade, integridade e autenticação em ambientes distribuídos. Este trabalho apresenta uma análise técnica abrangente das principais construções criptográficas utilizadas em sistemas computacionais até 1990, com ênfase em algoritmos simétricos como o Data Encryption Standard (DES), mecanismos de chave pública como RSA, Diffie–Hellman e ElGamal, e protocolos de autenticação distribuída como o Needham–Schroeder e Kerberos. Inicialmente, estabelecemos um modelo formal de ameaça adequado ao ambiente de redes heterogêneas interligadas por ARPANET, UUCP e Ethernet. Nesse modelo, adversários são capazes de realizar escuta passiva (eavesdropping), análise de tráfego, ataques de texto conhecido e comprometimento de nós finais. Em seguida, apresentamos uma metodologia para integrar criptografia em serviços reais de rede, incluindo correio eletrônico, autenticação de usuários e troca de chaves em ambientes multiusuário UNIX. A metodologia enfatiza gestão de chaves, escolha de modos de operação do DES e mecanismos de autenticação mútua. Uma implementação experimental foi conduzida em sistemas UNIX rodando em arquiteturas VAX e Sun-3, utilizando bibliotecas de criptografia baseadas em DES e protótipos de troca de chaves RSA. Experimentos quantitativos avaliam custo computacional, latência de estabelecimento de sessão e resistência a diferentes modelos de ataque. Resultados demonstram que algoritmos simétricos oferecem desempenho adequado para proteção de fluxo de dados em tempo real, enquanto técnicas de chave pública são mais apropriadas para distribuição inicial de chaves. Também analisamos um estudo de caso envolvendo autenticação distribuída inspirada no sistema Kerberos do Projeto Athena do MIT. O estudo evidencia que, embora a criptografia forneça mecanismos robustos de proteção, a segurança global do sistema depende criticamente da gestão de chaves e da proteção do servidor de autenticação central. Concluímos que a criptografia já constitui, em 1990, uma tecnologia essencial para segurança de redes de computadores, mas ainda enfrenta desafios operacionais importantes, particularmente no gerenciamento seguro de chaves em larga escala e na resistência a ataques criptanalíticos emergentes.
Read paper →CryptoArquitetura Cripto-Resiliente para Detecção e Mitigação de Abusos de Criptografia em Infraestruturas Corporativas: Um Framework Formal com Validação Experimental em Ambiente SOC
A adoção massiva de criptografia nas comunicações corporativas, impulsionada pela consolidação do TLS 1.2/1.3, pela padronização do AES e por exigências regulatórias como GDPR e LGPD, produziu um efeito colateral estrutural: a redução significativa da visibilidade de conteúdo para mecanismos tradicionais de monitoramento de rede. Em 2020, a maioria do tráfego web corporativo já se encontrava cifrada, limitando a eficácia de sistemas de detecção baseados em inspeção profunda de pacotes. Paralelamente, adversários passaram a explorar canais criptografados legítimos para comando e controle, exfiltração de dados e distribuição de malware, utilizando bibliotecas TLS padrão, certificados válidos e técnicas de ofuscação compatíveis com aplicações benignas. Neste trabalho, propomos uma Arquitetura Cripto-Resiliente (ACR) para detecção e mitigação de abusos de criptografia sem acesso ao conteúdo em texto claro. Formalizamos o problema como um jogo adversarial sob restrições de informação, definindo métricas baseadas em fingerprints TLS (como JA3), estatísticas de entropia e atributos temporais. Demonstramos limites informacionais para detectabilidade quando as variáveis observáveis são estatisticamente independentes do rótulo de interesse, estabelecendo condições necessárias para vantagem classificatória não desprezível. Implementamos a arquitetura em ambiente SOC realista, integrando Zeek, Suricata e Elastic Stack, e conduzimos validação experimental controlada com tráfego benigno e malicioso simulado, incluindo beacons HTTPS e exfiltração via DNS-over-HTTPS. Resultados indicam que a combinação de fingerprints, métricas volumétricas e análise temporal supera abordagens isoladas, mantendo latência compatível com enlaces de 10 Gbps. Discutimos limitações frente a adversários adaptativos e implicações práticas para organizações sujeitas a restrições legais de interceptação TLS. Concluímos que a detecção de abuso criptográfico é viável sob forte criptografia, desde que fundamentada em modelagem formal e integração operacional adequada.
Read paper →CryptoCriptoeconomia sob Ataque: Modelagem Formal, Detecção e Mitigação de Ameaças Criptográficas em Ecossistemas Blockchain e Infraestruturas Corporativas (2020)
A criptografia moderna constitui o núcleo de confiança de ecossistemas digitais, sustentando desde comunicações seguras via TLS 1.3 até infraestruturas descentralizadas baseadas em blockchain. Entretanto, incidentes recorrentes demonstram que a robustez formal de primitivas criptográficas não é suficiente para garantir segurança operacional quando implementações, configurações e integrações sistêmicas são falhas. Neste trabalho, propomos uma abordagem formal e integrada para modelagem, detecção e mitigação de ameaças criptográficas que atravessam múltiplos domínios: contratos inteligentes, gestão de chaves, tráfego TLS e infraestrutura corporativa. Formalizamos o problema como um sistema composto $S = (N, C, K, T)$, representando nós blockchain, contratos, chaves e tráfego de rede, e definimos propriedades de segurança associadas à integridade de chaves, imutabilidade contratual e confidencialidade de canais. A partir desse modelo, desenvolvemos uma arquitetura operacional que combina análise estática de bytecode EVM, inspeção de tráfego com Suricata e Zeek, monitoramento estatístico de uso de chaves e correlação de eventos baseada na matriz MITRE ATT&CK (versões públicas até 2020). Avaliamos experimentalmente a proposta em ambiente controlado com 120 nós Ethereum (Geth 1.9.x), 15.000 contratos inteligentes e 3,2 TB de tráfego TLS. Os resultados indicam taxa de detecção de 96,4% para vulnerabilidades críticas com taxa de falso positivo de 4,8%, além de redução de 72% no tempo médio de detecção (MTTD). Demonstramos que a integração formal-operacional supera abordagens isoladas, oferecendo ganhos mensuráveis de eficácia e resiliência. Concluímos que a segurança criptoeconômica requer não apenas garantias matemáticas, mas também monitoramento contínuo, modelagem de adversário realista e integração entre domínios tradicionalmente tratados de forma separada.
Read paper →CryptoArquitetura Cripto-Resiliente para Infraestruturas Corporativas: Formalização de Ameaças, Implementação Operacional e Avaliação Empírica contra Ransomware e Ataques de Exfiltração
A criptografia moderna constitui o núcleo da segurança em infraestruturas corporativas, sustentando protocolos como TLS, IPsec e mecanismos de assinatura digital em infraestruturas de chaves públicas (PKI). Embora algoritmos como AES, RSA e criptografia de curvas elípticas apresentem sólida fundamentação teórica e segurança amplamente analisada, incidentes recentes demonstram que a principal superfície de ataque deslocou-se da criptoanálise formal para falhas operacionais, gestão inadequada de chaves e integração deficiente com mecanismos de monitoramento e resposta a incidentes. Neste trabalho, propomos uma arquitetura cripto-resiliente orientada à mitigação de abuso operacional de material criptográfico em ambientes corporativos, com foco específico em ransomware e exfiltração de dados via canais cifrados. Formalizamos um modelo de ameaça que captura comprometimento parcial de endpoints, acesso à memória de processos e uso indevido de credenciais e certificados. Definimos o sistema como um triplo $(S, K, P)$, representando serviços, chaves e políticas, e modelamos a probabilidade de comprometimento ao longo do tempo sob restrições de desempenho. Propomos dois mecanismos centrais: (i) rotação adaptativa de chaves baseada em métricas de risco operacional e (ii) detecção de anomalias criptográficas por meio de telemetria TLS e fingerprinting comportamental. Implementamos a arquitetura com componentes amplamente disponíveis até 2020, incluindo OpenSSL 1.1.1, HashiCorp Vault, SoftHSM v2, Suricata 5, Elastic Stack 7 e YARA 4.0. A avaliação experimental foi conduzida em ambiente controlado com 120 máquinas virtuais e 3,2 TB de tráfego misto legítimo e malicioso. Observamos taxa de detecção de 96,1% ± 1,4%, falso positivo de 3,2% e overhead médio adicional de 3,9 ms por handshake TLS. Em comparação com políticas estáticas de rotação anual, reduzimos o tempo médio de exposição de 180 dias para 16 dias. Nossos resultados demonstram que a integração sistemática entre gestão de chaves, telemetria de rede e operações de segurança (SOC) é determinante para elevar a resiliência criptográfica corporativa sem comprometer significativamente o desempenho.
Read paper →CryptoArquitetura Cripto-Resiliente para Defesa contra Ransomware Baseado em Criptografia Híbrida: Modelagem Formal, Detecção Operacional e Resposta Automatizada
O ransomware consolidou-se, até 2020, como uma das principais ameaças à segurança da informação, combinando criptografia robusta, automação de propagação e modelos econômicos de extorsão digital. Diferentemente de malware tradicional, o ransomware moderno emprega criptografia híbrida, tipicamente combinando algoritmos simétricos eficientes, como AES, com encapsulamento assimétrico de chaves via RSA ou curvas elípticas, tornando a recuperação de dados impraticável sem acesso à chave privada do atacante. Este artigo propõe uma arquitetura cripto-resiliente para detecção e contenção proativa de ransomware, fundamentada em modelagem formal do processo criptográfico malicioso, análise estatística de entropia incremental e correlação de eventos de sistema. Formalizamos o comportamento de criptografia híbrida como um sistema dinâmico discreto, no qual a maximização do conjunto de arquivos cifrados é modelada como problema de otimização adversarial sob restrições temporais. Definimos uma função de detecção $D(P_t)$ e estabelecemos critérios formais de segurança baseados na minimização do número de arquivos cifrados $|F_{enc}|$ sob limitação explícita de taxa de falso positivo. A arquitetura proposta integra monitoramento de entropia por blocos, correlação de chamadas a APIs criptográficas nativas (CryptoAPI e CNG) e mecanismos automatizados de resposta via isolamento de processo. Implementamos um protótipo experimental em ambiente Windows 10 e Ubuntu 20.04, empregando Sysmon, Suricata, Elastic Stack e YARA. Avaliamos 500 amostras de ransomware coletadas até 2020 e 2 TB de dados corporativos benignos, obtendo taxa de detecção de 96,4%, taxa de falso positivo de 2,1% e redução média de 71% no número de arquivos cifrados. Os resultados demonstram que a combinação de modelagem formal e telemetria comportamental fornece base sólida para contenção em tempo quase real, mantendo viabilidade operacional em ambientes corporativos críticos.
Read paper →CryptoCriptografia Aplicada à Segurança de Sistemas em Rede: Análise Operacional de DES, RSA e Protocolos de Autenticação no Ambiente UNIX e ARPANET (Perspectiva Técnica de 1989)
A crescente interconexão de sistemas computacionais durante a década de 1980 — particularmente em ambientes UNIX interligados por redes acadêmicas como ARPANET e BITNET — trouxe consigo uma ampliação significativa da superfície de ataque para espionagem eletrônica, interceptação de tráfego e comprometimento de credenciais. Nesse contexto, a criptografia deixou de ser uma disciplina restrita à comunidade militar e passou a ocupar papel central na segurança operacional de sistemas civis e acadêmicos. Este trabalho examina, sob uma perspectiva prática de operações de segurança, os principais mecanismos criptográficos disponíveis até 1989, com foco especial no Data Encryption Standard (DES), nos esquemas de chave pública como RSA e Diffie-Hellman, e nos protocolos de autenticação emergentes como Kerberos. A análise enfatiza não apenas propriedades matemáticas, mas também implicações operacionais em ambientes reais de rede, incluindo riscos de interceptação de tráfego, replay attacks e comprometimento de credenciais armazenadas. O artigo apresenta um modelo formal de ameaça adequado ao ambiente de redes abertas da época, incluindo adversários capazes de interceptar tráfego em links compartilhados, explorar falhas em protocolos de autenticação e realizar ataques de força bruta contra sistemas de senhas. A partir desse modelo, propomos uma metodologia de integração de criptografia simétrica e assimétrica em arquiteturas de autenticação distribuída. Demonstramos experimentalmente a viabilidade de tais mecanismos utilizando implementações baseadas em DES, protocolos de troca de chaves Diffie-Hellman e infraestruturas iniciais de autenticação baseadas em tickets, como Kerberos versão 4. Os experimentos conduzidos avaliam desempenho criptográfico, custo computacional em estações UNIX típicas da época (VAX e Sun), resistência a ataques de interceptação e impacto operacional em serviços de rede como telnet e transferência de arquivos. Apresentamos ainda um estudo de caso envolvendo a proteção de autenticação em um laboratório universitário conectado à ARPANET. Os resultados indicam que a combinação de criptografia simétrica para confidencialidade de sessão e criptografia de chave pública para distribuição de chaves oferece uma arquitetura robusta contra ataques passivos de rede, desde que acompanhada por gerenciamento adequado de chaves e mitigação de ataques de replay. Concluímos discutindo limitações práticas da criptografia atual — particularmente desempenho de operações modulares e desafios de distribuição de chaves — e apontamos direções futuras de pesquisa, incluindo infraestrutura de certificados digitais e protocolos criptográficos para autenticação distribuída em larga escala.
Read paper →CryptoArquiteturas Criptográficas para Segurança de Redes de Computadores: Análise Operacional de DES, RSA, Diffie–Hellman e Protocolos de Autenticação em Ambientes UNIX e ARPANET (1989)
A crescente interconexão de sistemas computacionais ao longo da década de 1980 — particularmente em ambientes baseados em UNIX, ARPANET e redes acadêmicas — introduziu desafios operacionais significativos relacionados à confidencialidade, integridade e autenticação de comunicações digitais. Criptografia tornou-se, nesse contexto, um mecanismo central para proteção de dados em trânsito e armazenamento persistente, bem como para construção de protocolos de autenticação seguros. Este trabalho apresenta uma análise técnica aprofundada das principais primitivas criptográficas disponíveis até 1989, com foco em algoritmos simétricos como o Data Encryption Standard (DES), esquemas de chave pública como RSA e ElGamal, mecanismos de troca de chaves baseados em Diffie–Hellman e estruturas criptográficas emergentes utilizadas em protocolos de autenticação distribuída. Inicialmente, revisamos fundamentos matemáticos essenciais da criptografia moderna, incluindo teoria de números aplicada à fatoração modular e ao problema do logaritmo discreto. Em seguida, examinamos o modelo de ameaças predominante em redes de computadores acadêmicas e militares, considerando interceptação passiva, replay de mensagens, ataques de força bruta e comprometimento de hosts UNIX. A partir desse modelo, propomos uma metodologia de integração entre criptografia simétrica para eficiência operacional e criptografia assimétrica para estabelecimento seguro de chaves. A implementação prática descrita neste estudo baseia-se em ambientes UNIX BSD rodando em estações VAX e Sun, utilizando bibliotecas DES disponíveis comercialmente e a infraestrutura Kerberos desenvolvida pelo MIT Project Athena. Experimentos controlados medem desempenho criptográfico em diferentes arquiteturas de hardware, avaliando latência de autenticação, throughput de cifragem e custo computacional da criptografia de chave pública. Os resultados demonstram que sistemas híbridos — combinando Diffie–Hellman ou RSA para negociação de chaves e DES para comunicação contínua — oferecem um equilíbrio operacional entre segurança e desempenho. Também analisamos implicações práticas de distribuição de chaves e introduzimos considerações sobre infraestruturas emergentes de certificação digital, como o padrão X.509 recentemente publicado pelo CCITT. Finalmente, apresentamos um estudo de caso baseado em implantação de autenticação Kerberos em uma rede universitária multiusuário, discutindo limitações observadas, riscos operacionais e direções futuras para pesquisa criptográfica em ambientes distribuídos. O trabalho conclui que a adoção sistemática de criptografia robusta representa um componente essencial para a segurança de redes abertas em expansão.
Read paper →CryptoInfraestruturas Criptográficas em Sistemas de Computação Interconectados: Modelos, Implementação e Avaliação Operacional no Contexto de Segurança de Redes (Estado da Arte até 1989)
A rápida expansão de redes de computadores ao longo da década de 1980, particularmente em ambientes acadêmicos, militares e corporativos interconectados por ARPANET e redes UNIX baseadas em TCP/IP, introduziu novos desafios de segurança relacionados à confidencialidade, integridade e autenticação de informações digitais. Nesse contexto, a criptografia emergiu como um dos principais mecanismos técnicos para proteção de dados em trânsito e em repouso. Este trabalho apresenta uma análise abrangente dos fundamentos criptográficos aplicáveis à segurança de sistemas computacionais interconectados, com foco nas tecnologias e protocolos existentes até 1989. Inicialmente, revisamos os principais marcos teóricos que sustentam a criptografia moderna, incluindo o modelo de comunicação segura de Shannon, o padrão Data Encryption Standard (DES), e os esquemas de criptografia de chave pública introduzidos por Diffie e Hellman e posteriormente operacionalizados pelo algoritmo RSA. Em seguida, discutimos modelos de ameaça relevantes para ambientes distribuídos, incluindo interceptação de tráfego em redes Ethernet, ataques de repetição, captura de credenciais e exploração de serviços remotos vulneráveis — ameaças evidenciadas pelo incidente do worm da Internet de 1988. Propomos uma metodologia prática para implantação de mecanismos criptográficos em sistemas UNIX e infraestruturas TCP/IP, combinando criptografia simétrica para proteção de dados com mecanismos de autenticação baseados em tickets, como o sistema Kerberos. A implementação experimental inclui protótipos de comunicação autenticada, análise de tráfego criptografado com ferramentas de captura de pacotes e avaliação de desempenho em arquiteturas típicas da época, como VAX e Sun-3. Resultados experimentais demonstram que a adoção de criptografia simétrica para comunicação de sessão, combinada com mecanismos de troca de chave baseados em exponenciação modular, oferece um equilíbrio prático entre segurança e custo computacional. Um estudo de caso examina como técnicas criptográficas poderiam mitigar vetores explorados pelo worm de Morris. Concluímos discutindo limitações operacionais de criptossistemas em ambientes distribuídos, incluindo gerenciamento de chaves, escalabilidade e riscos de implementação. O trabalho busca consolidar uma visão operacional da criptografia aplicada à segurança de redes no final da década de 1980.
Read paper →CryptoCriptografia Aplicada à Segurança de Sistemas em Rede: Análise Operacional de Algoritmos Simétricos, Criptografia de Chave Pública e Protocolos de Autenticação no Final da Década de 1980
A rápida interconexão de sistemas computacionais durante a década de 1980 — impulsionada por redes acadêmicas, ARPANET, BITNET e ambientes distribuídos baseados em UNIX — transformou a criptografia de um campo predominantemente teórico em um componente operacional essencial da segurança de sistemas. Este trabalho apresenta uma análise técnica abrangente do estado da arte da criptografia aplicada à segurança de redes e sistemas computacionais até 1989. O estudo examina tanto mecanismos de criptografia simétrica amplamente implantados, como o Data Encryption Standard (DES), quanto sistemas de chave pública emergentes, incluindo RSA, Rabin e ElGamal. Também são analisadas construções criptográficas fundamentais como funções de hash baseadas em blocos, geradores pseudoaleatórios criptograficamente seguros e protocolos de autenticação distribuída, com destaque para Needham–Schroeder e Kerberos. A pesquisa enfatiza uma perspectiva operacional: como esses mecanismos são realmente implementados em sistemas UNIX, redes acadêmicas e infraestruturas de autenticação distribuída. São avaliados modelos de ameaça realistas da época, incluindo interceptação de tráfego em redes compartilhadas Ethernet, captura de credenciais, replay de mensagens e comprometimento de hosts. A formalização do problema considera adversários capazes de observar canais de comunicação e executar ataques criptanalíticos limitados por recursos computacionais plausíveis para a década de 1980. Propomos uma metodologia experimental baseada em implementação prática de mecanismos criptográficos em ambientes UNIX, avaliação de desempenho em hardware contemporâneo e análise de segurança sob cenários de ataque plausíveis. Experimentos comparativos entre DES, RSA e ElGamal demonstram diferenças substanciais de custo computacional e escalabilidade, reforçando a necessidade de arquiteturas híbridas que combinem criptografia simétrica para confidencialidade de dados com mecanismos de chave pública para distribuição de chaves. Além disso, apresentamos um estudo de caso detalhado da implantação do Kerberos no contexto do Projeto Athena do MIT, analisando suas propriedades de segurança, limitações e implicações operacionais. A discussão final aborda desafios emergentes, incluindo gestão de chaves, escalabilidade de infraestruturas de certificação e implicações do aumento do poder computacional para a segurança do DES. O trabalho conclui com recomendações práticas para arquiteturas criptográficas robustas em ambientes distribuídos e identifica direções de pesquisa que provavelmente dominarão a década de 1990.
Read paper →CryptoFundamentos Operacionais da Criptografia Aplicada à Segurança de Sistemas Computacionais em Redes de Dados (1989)
A crescente interconexão de sistemas computacionais ao longo da década de 1980, por meio de redes locais (LANs), redes de longa distância (WANs) e ambientes multiusuário baseados em UNIX e mainframes, introduziu uma superfície de ataque sem precedentes. A criptografia, historicamente associada a comunicações diplomáticas e militares, tornou-se componente essencial da segurança da informação em ambientes corporativos e acadêmicos. Este trabalho apresenta uma análise técnica abrangente dos fundamentos criptográficos relevantes até 1989, incluindo criptografia simétrica (DES, modos de operação), criptografia assimétrica (RSA, Diffie-Hellman), funções de hash (MD2, MD4) e mecanismos de autenticação baseados em Kerberos. Formalizamos um modelo de ameaça realista para redes TCP/IP, X.25 e UUCP, considerando adversários capazes de interceptar, modificar e injetar tráfego. Propomos uma metodologia operacional para implementação segura de serviços criptográficos em sistemas UNIX, com foco em gerenciamento de chaves, proteção contra ataques de força bruta e mitigação de vulnerabilidades estruturais como análise diferencial emergente. Implementamos protótipos utilizando bibliotecas públicas de RSA e DES, avaliando desempenho em plataformas VAX e estações Sun-3. Resultados experimentais demonstram o impacto computacional da criptografia assimétrica e a viabilidade do uso híbrido (RSA para troca de chaves, DES para dados). Um estudo de caso baseado em comprometimento de sessão remota ilustra como a ausência de proteção criptográfica permite escalonamento de privilégios. Discutimos limitações práticas, incluindo controle de exportação de criptografia, gestão de chaves e riscos de implementação incorreta. Concluímos que a criptografia, quando corretamente aplicada, constitui mecanismo fundamental de confidencialidade, integridade e autenticação em ambientes distribuídos, embora permaneçam desafios significativos quanto à usabilidade, padronização e robustez contra criptoanálise avançada.
Read paper →CryptoArquiteturas Criptográficas para Proteção de Comunicações em Redes de Computadores: Análise Operacional de DES, RSA, Diffie-Hellman e Infraestruturas de Autenticação no Final da Década de 1980
A crescente interconexão de sistemas computacionais ao longo da década de 1980, impulsionada por redes acadêmicas, militares e corporativas como ARPANET, MILNET e diversas redes TCP/IP emergentes, trouxe consigo desafios substanciais relacionados à confidencialidade, integridade e autenticação de dados. A criptografia tornou-se o principal mecanismo técnico para mitigar riscos associados à interceptação de tráfego, falsificação de identidade e manipulação de mensagens em ambientes distribuídos. Este trabalho apresenta uma análise técnica detalhada das principais arquiteturas criptográficas disponíveis até 1989, com foco particular em algoritmos simétricos (notadamente o Data Encryption Standard – DES), esquemas de chave pública como RSA e Diffie-Hellman, bem como mecanismos operacionais de autenticação e distribuição de chaves empregados em sistemas reais, incluindo Kerberos e propostas iniciais de infraestrutura de certificados X.509. A pesquisa examina o modelo de ameaças predominante em redes de comutação de pacotes, incluindo escuta passiva, ataques de repetição e comprometimento de nós intermediários. Em seguida, formaliza os requisitos criptográficos necessários para proteger comunicações interorganizacionais e serviços de rede como correio eletrônico, login remoto e transferência de arquivos. Com base nesses requisitos, propõe-se uma arquitetura híbrida que combina criptografia simétrica para proteção de fluxo de dados com mecanismos de chave pública para estabelecimento inicial de chaves de sessão. A implementação experimental foi conduzida em plataformas UNIX executando em sistemas VAX e Sun-3, utilizando bibliotecas DES derivadas de implementações públicas associadas ao projeto Kerberos. Foram avaliados cenários de autenticação distribuída e proteção de mensagens em redes TCP/IP. Resultados experimentais demonstram que o uso combinado de RSA para troca de chaves e DES para criptografia de sessão oferece um equilíbrio operacional entre desempenho e segurança. Adicionalmente, o trabalho apresenta um estudo de caso envolvendo a proteção de comunicação entre dois domínios administrativos interconectados via TCP/IP. Os resultados indicam que arquiteturas criptográficas bem projetadas podem reduzir significativamente riscos de interceptação e impersonação em redes abertas. A discussão final aborda limitações operacionais, desafios de gerenciamento de chaves e perspectivas futuras para infraestruturas criptográficas escaláveis em redes globais.
Read paper →CryptoArquiteturas Criptográficas para Redes de Computadores em 1988: Modelos Formais, Implementação Prática e Avaliação Experimental de DES, RSA e Kerberos
A crescente interconexão de sistemas computacionais ao longo da década de 1980, impulsionada por redes acadêmicas, militares e corporativas, introduziu uma superfície de ataque inédita para interceptação, modificação e falsificação de informações. A criptografia emergiu como o principal mecanismo técnico para garantir confidencialidade, integridade e autenticação em ambientes distribuídos. Este artigo apresenta uma análise abrangente das principais construções criptográficas disponíveis até 1988, com ênfase operacional no Data Encryption Standard (DES), nos esquemas de chave pública RSA e Diffie-Hellman, na assinatura digital e na arquitetura Kerberos do MIT. Formalizamos um modelo de ameaça realista para redes baseadas em TCP/IP e X.25, caracterizando adversários com capacidade de escuta passiva, replay e modificação ativa de tráfego. Propomos uma metodologia integrada que combina criptografia simétrica para desempenho, criptografia assimétrica para estabelecimento de chaves e tickets autenticados para controle de acesso distribuído. Implementamos protótipos em sistemas UNIX e ambientes compatíveis com Project Athena, avaliando desempenho, resistência a ataques de força bruta e robustez contra ataques de repetição. Resultados experimentais demonstram que a combinação DES + Kerberos oferece equilíbrio adequado entre segurança e eficiência em redes locais, enquanto RSA permanece mais apropriado para troca de chaves e assinaturas devido ao custo computacional. Discutimos limitações conhecidas, incluindo tamanho de chave do DES e dependência de infraestrutura de confiança centralizada, além de perspectivas futuras envolvendo extensões de infraestrutura de chave pública baseadas em X.509 e esquemas de assinatura mais eficientes. O trabalho consolida fundamentos teóricos e práticos da criptografia aplicada a redes em 1988, oferecendo diretrizes técnicas concretas para arquitetos de sistemas e profissionais de segurança.
Read paper →CryptoAnálise Criptográfica Aplicada à Segurança de Sistemas Computacionais em Redes Públicas: Modelagem de Ameaças e Avaliação Experimental de DES e RSA (1988)
A crescente interconexão de sistemas computacionais por meio de redes públicas e privadas, incluindo ARPANET, BITNET e redes X.25 comerciais, impõe desafios substanciais à proteção da confidencialidade, integridade e autenticidade das informações. Em 1988, a criptografia consolida-se como o principal mecanismo técnico para mitigação de riscos associados à interceptação de tráfego, espionagem industrial, fraude eletrônica e manipulação de dados em trânsito. Este trabalho apresenta uma análise abrangente dos fundamentos criptográficos aplicáveis à segurança de sistemas distribuídos, com foco em algoritmos simétricos (DES) e assimétricos (RSA), discutindo suas propriedades matemáticas, vetores de ataque conhecidos e limitações operacionais. Propõe-se um modelo formal de ameaça adequado ao contexto tecnológico contemporâneo, considerando adversários com capacidade de escuta passiva em enlaces de rede, acesso a canais X.25, comprometimento parcial de nós e recursos computacionais compatíveis com mainframes e minicomputadores da década de 1980. Desenvolvemos uma metodologia prática de implementação criptográfica em sistemas UNIX, integrando bibliotecas DES, geração de chaves RSA e protocolos de troca de chaves baseados em Diffie-Hellman. A avaliação experimental inclui medições de desempenho em arquiteturas VAX e IBM PC/AT, análise de entropia de chaves, resistência a ataques de força bruta e impacto operacional em throughput de rede. Um estudo de caso envolvendo proteção de correio eletrônico acadêmico demonstra ganhos substanciais de segurança com sobrecarga computacional aceitável. Discute-se ainda a controvérsia sobre o tamanho da chave do DES, ataques diferenciais emergentes, riscos de má gestão de chaves e implicações regulatórias do uso de criptografia forte. Conclui-se que a adoção disciplinada de mecanismos criptográficos padronizados, aliada a políticas rigorosas de gestão de chaves, constitui o alicerce técnico indispensável à segurança de sistemas interconectados na era da computação distribuída.
Read paper →