Research / Paper Files
Paper Files
Os Paper Files são uma prática pessoal de estudo contínuo em cibersegurança que aplica o método científico como ferramenta de aprendizado. Cada artigo é escrito não com o objetivo de publicação acadêmica, mas como exercício deliberado para afiar o machado — aprofundar o conhecimento sobre temas específicos, organizar ideias com rigor e observar o desenvolvimento do entendimento sobre determinados assuntos ao longo do tempo. É o equivalente intelectual de um diário de treino: cada entrada registra o que foi estudado, como foi analisado e que conclusões emergiram.
Recomendo fortemente que profissionais de segurança adotem este método. Escolha um tema que deseja dominar, pesquise fontes primárias (RFCs, papers, documentação oficial), estruture seu texto com introdução, metodologia, análise e conclusão, e escreva como se estivesse explicando para um colega. O ato de escrever força a clareza de pensamento e expõe lacunas no entendimento que a leitura passiva não revela. Use os artigos deste site como exemplo de formato e profundidade, e construa seu próprio acervo — com o tempo, você terá um repositório pessoal de conhecimento refinado que nenhum curso ou certificação substitui.
DAI & ADAI · 2026
DAI: uma LLM de domínio específico com autoridade excluída do modelo, verificação por capacidades disjuntas e recibos recomputáveis
DAI (Decripte Artificial Intelligence) é uma LLM própria de domínio específico inserida em uma arquitetura de defesa autônoma governada. É uma instância da categoria proposta ADAI, definida no paper complementar. O traba…
Ler o paper →ADAI · PTInteligência Artificial de Defesa Autônoma: um arcabouço de envelope e evidência para LLMs governadas que agem sobre infraestrutura de produção
ADAI (Autonomous Defensive Artificial Intelligence) é uma categoria proposta de defesa cibernética autônoma governada. O arcabouço especifica perímetros defendidos, efeitos delimitados, reversão declarada e verificação p…
Ler o paper →104 papers
Modelagem Formal e Implementação Operacional de um Framework Adaptativo de Identity and Access Management (IAM) Resiliente a Ataques Baseados em Credenciais
A consolidação de arquiteturas distribuídas, ambientes híbridos e serviços em nuvem até 2019 deslocou o perímetro de segurança tradicional para a camada de identidade. Relatórios empíricos indicam que o uso de credenciais válidas constitui um dos principais vetores de comprometimento em incidentes corporativos recentes. Este trabalho propõe um framework formal e operacional de Identity and Access Management (IAM) adaptativo, projetado para reduzir caminhos de escalonamento de privilégio sob ameaça ativa, mantendo requisitos estritos de latência e disponibilidade. Modelamos o sistema de autorização como um grafo direcionado ponderado $G = (V, E, w)$, no qual vértices representam identidades e recursos, arestas representam permissões e a função peso $w$ quantifica risco contextual. Definimos formalmente a superfície de ataque efetiva como a soma ponderada dos caminhos alcançáveis até nós privilegiados e demonstramos como sua minimização pode ser tratada como problema de otimização sob restrições operacionais. Integramos controle de acesso baseado em atributos (ABAC), análise de grafos de privilégio inspirada em estudos sobre Active Directory e avaliação contínua de risco derivada de telemetria de SIEM/IDS. Implementamos o protótipo com Keycloak, Open Policy Agent (OPA), Elastic Stack, Suricata e Kubernetes, avaliando-o em ambiente com 10.000 identidades e 1,2 milhão de eventos. Os resultados indicam redução de 41% nos caminhos críticos de escalonamento, latência média de decisão de 4,8 ms e taxa de falso positivo de 2,1%. Demonstramos, ainda, a viabilidade de integração entre detecção e enforcement, superando limitações de modelos RBAC estáticos. O estudo contribui com formalização matemática do risco de privilégio, algoritmo eficiente de cálculo de caminho crítico e validação empírica em cenário híbrido compatível com o estado da prática até 2019.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management (IAM) Baseada em Modelagem Formal de Privilégios e Detecção Comportamental para Mitigação de Abusos de Identidade em Ambientes Multicloud
A consolidação de ambientes multicloud, microsserviços e práticas DevOps até 2019 deslocou o foco da segurança do perímetro de rede tradicional para a identidade como principal elemento de controle. Nesse contexto, falhas em mecanismos de Identity and Access Management (IAM) têm figurado como vetor predominante de comprometimento, especialmente por meio do abuso de credenciais válidas, movimentação lateral e configuração incorreta de políticas. Este trabalho propõe uma arquitetura adaptativa de IAM fundamentada em modelagem formal de privilégios e detecção comportamental estatística, visando mitigar abusos de identidade em ambientes distribuídos. Formalizamos o conceito de privilégio efetivo por meio de um grafo direcionado ponderado que representa relações entre identidades, papéis e recursos, definindo métricas quantitativas para avaliação de risco agregado. Introduzimos um algoritmo de redução de caminhos críticos com complexidade $O(|E|\log|V|)$, capaz de minimizar privilégios excessivos preservando conectividade funcional. Complementarmente, incorporamos um mecanismo de detecção de anomalias baseado em divergência de Kullback-Leibler para identificar desvios comportamentais em tempo quase real, integrando-o ao mecanismo de enforcement por meio de um motor de políticas. Implementamos a arquitetura utilizando tecnologias amplamente disponíveis até 2019, incluindo Kubernetes 1.16, Keycloak, Open Policy Agent, Elastic Stack 7.x, Suricata 4 e regras Sigma, avaliando-a em ambiente experimental com 1.200 identidades e 3.400 recursos. Os resultados demonstram redução média de 37% em permissões redundantes, diminuição de 52% no tempo médio de resposta a incidentes relacionados a identidade e impacto marginal na latência de autorização. Concluímos que a combinação de formalização estrutural e análise comportamental interpretável fornece base rigorosa e operacionalmente viável para mitigação de abuso de identidade em cenários multicloud, alinhando-se às melhores práticas de 2019, como MITRE ATT&CK e princípios emergentes de zero trust.
Read paper →IAMArquitetura Formal e Operacional para Identity and Access Management (IAM) Resiliente a Ameaças Avançadas: Modelagem Matemática, Detecção Comportamental e Hardening Contra TTPs do MITRE ATT&CK (2019)
A gestão de identidades e acessos (Identity and Access Management – IAM) consolidou-se, até 2019, como o principal perímetro lógico das organizações, especialmente em ambientes híbridos que combinam Active Directory on-premises e serviços em nuvem como AWS e Azure. Relatórios empíricos indicam que o comprometimento de credenciais figura entre os vetores predominantes de violação de dados, frequentemente associado a técnicas como credential dumping, pass-the-hash e abuso de contas válidas, amplamente documentadas no framework MITRE ATT&CK. Neste trabalho, propomos uma arquitetura formal e operacional para IAM resiliente a ameaças avançadas, integrando modelagem matemática de grafos de privilégio, análise de centralidade, detecção comportamental baseada em aprendizado de máquina clássico e mecanismos automatizados de contenção por políticas dinâmicas. Formalizamos o grafo de privilégios como $G=(V,E)$, onde vértices representam identidades e recursos e arestas representam relações de autorização direta ou indireta. Definimos uma métrica quantitativa de risco $R(i)=\alpha C(i)+\beta D(i)+\gamma P(i)$, combinando centralidade estrutural, desvio comportamental e peso de privilégios críticos. Implementamos a arquitetura utilizando Active Directory, Azure AD, Open Policy Agent (OPA), Elastic Stack 7.x, Neo4j e regras Sigma, alinhadas às técnicas T1003, T1078 e T1550 do MITRE ATT&CK (versão 2019). Em avaliação experimental com 12 milhões de eventos ao longo de 90 dias, observamos redução de 73,4% nos caminhos críticos de privilégio e melhoria de 58% no tempo médio de detecção (MTTD), mantendo overhead computacional inferior a 5%. Os resultados demonstram que a integração entre análise estrutural de privilégios e monitoramento comportamental contínuo constitui abordagem eficaz para reduzir superfície de ataque baseada em identidade, preservando requisitos de disponibilidade e governança.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management (IAM) com Detecção Comportamental e Mitigação Ativa de Ameaças Internas e Comprometimento de Credenciais
A gestão de identidades e acessos (Identity and Access Management – IAM) constitui o núcleo do controle de segurança em infraestruturas corporativas híbridas, integrando ambientes on-premise, serviços em nuvem e aplicações SaaS. Em 2019, relatórios de incidentes indicavam que o comprometimento de credenciais e o abuso de contas legítimas figuravam entre os vetores predominantes de violação de dados, especialmente em campanhas de ransomware e movimentação lateral pós-comprometimento. Modelos tradicionais baseados exclusivamente em Role-Based Access Control (RBAC) demonstram limitações estruturais diante de ambientes dinâmicos e altamente distribuídos, nos quais a concessão excessiva de privilégios e a ausência de monitoramento comportamental contínuo ampliam a superfície de ataque. Neste trabalho, propomos uma arquitetura adaptativa de IAM que integra modelagem formal baseada em grafos direcionados ponderados, métricas quantitativas de risco comportamental e mecanismos automatizados de mitigação ativa. Formalizamos o ecossistema de identidade como um grafo $G = (V,E)$, no qual usuários, recursos e serviços são representados como vértices, e relações de acesso como arestas ponderadas temporalmente. Definimos uma função de risco composta por métricas de centralidade, entropia de sessões e distância comportamental histórica, permitindo a detecção de desvios estatisticamente significativos com complexidade computacional $O(|E|\log|V|)$. Implementamos um protótipo integrando Elastic Stack 6.x, Neo4j 3.5, Sysmon, Suricata e APIs de diretórios corporativos, avaliando-o em ambiente controlado com 3,4 milhões de eventos e 1.200 usuários. Os resultados indicam taxa de detecção de 95,8%, redução de 41% no tempo médio de contenção e taxa de falso positivo inferior a 4%, quando comparado a abordagens estáticas e a soluções comerciais de UEBA. Demonstramos, por meio de estudo de caso em ambiente financeiro, que a mitigação automatizada integrada ao IAM reduz substancialmente a janela de exposição após comprometimento de credenciais. Concluímos que a incorporação de análise comportamental formalmente fundamentada ao ciclo de vida de identidade representa avanço significativo na defesa contra ameaças internas e abuso de privilégios em 2019.
Read paper →IAMArquitetura IAM Orientada a Risco com Correlação de TTPs MITRE ATT&CK e Detecção Comportamental: Uma Abordagem Formal e Operacional para Ambientes Híbridos e Multi-Cloud (2020)
A identidade digital consolidou-se, ao longo da última década, como o principal vetor de risco em ambientes corporativos híbridos e multi-cloud. A coexistência de Active Directory on-premise, Azure Active Directory, AWS IAM e múltiplas aplicações SaaS integradas por SAML e OAuth 2.0 ampliou significativamente a complexidade do gerenciamento de privilégios. Relatórios técnicos amplamente referenciados até 2020, como o Verizon Data Breach Investigations Report (VERIZON, 2020), indicam que o uso indevido de credenciais válidas permanece entre os vetores mais frequentes em incidentes analisados. Paralelamente, campanhas de ransomware e espionagem demonstraram abuso sistemático de técnicas catalogadas no framework MITRE ATT&CK, incluindo Credential Dumping (T1003), Valid Accounts (T1078) e Abuse of Kerberos Tickets (T1558). Neste trabalho propomos uma arquitetura de Gerenciamento de Identidade e Acesso (IAM) orientada a risco que integra: (i) modelagem formal baseada em grafos dirigidos ponderados; (ii) correlação explícita com TTPs do MITRE ATT&CK; e (iii) detecção comportamental baseada em divergência estatística. Formalizamos o problema de privilégio excessivo como uma otimização combinatória sujeita a restrições de continuidade operacional e separação de funções, demonstrando sua NP-dificuldade por redução ao problema de Set Cover. Introduzimos dois mecanismos complementares: o algoritmo RWPR (Risk-Weighted Privilege Reduction), para minimização heurística de permissões de alto risco não utilizadas, e o BDD (Behavioral Drift Detection), que emprega divergência de Kullback–Leibler para identificar desvios comportamentais associados a abuso de identidade. Avaliamos a proposta em ambiente híbrido controlado com Active Directory, Azure AD e AWS, utilizando telemetria anonimizada e cenários alinhados ao ATT&CK. Observamos reduções expressivas de permissões não utilizadas e melhoria estatisticamente significativa no tempo médio de detecção em comparação a baselines estáticos. Discutimos limitações, implicações operacionais e direções de pesquisa relacionadas a grafos temporais e verificação formal de políticas IAM.
Read paper →IAMArquitetura IAM Resiliente a Ataques em Ambientes Híbridos e Multicloud: Modelagem Formal, Detecção Comportamental e Mitigação Automatizada Baseada em TTPs do MITRE ATT&CK
A crescente adoção de ambientes híbridos e multicloud até 2020 consolidou a identidade digital como principal perímetro de segurança organizacional. Nesse contexto, sistemas de Identity and Access Management (IAM) passaram a concentrar tanto mecanismos de defesa quanto vetores críticos de ataque, especialmente diante do uso recorrente de credenciais válidas por adversários sofisticados. Este trabalho propõe uma arquitetura integrada para modelagem formal, detecção de caminhos críticos de escalonamento de privilégio e mitigação automatizada em ecossistemas IAM que integram Active Directory, Azure Active Directory e AWS IAM. Formalizamos a superfície de ataque como um grafo dirigido ponderado $G = (V,E,w)$, no qual vértices representam identidades e recursos, arestas representam relações de confiança ou delegação, e a função peso modela custo exploratório associado a técnicas do MITRE ATT&CK. Definimos o problema de identificação de caminhos exploráveis como a enumeração de trajetórias cujo custo acumulado não excede um limiar $\theta$, estabelecendo propriedades de segurança baseadas na inexistência de caminhos de baixo custo até ativos críticos. Desenvolvemos algoritmos com complexidade assintótica linear em $O(|V|+|E|)$ para detecção eficiente desses caminhos e integramos a abordagem a plataformas SIEM e SOAR para mitigação automatizada orientada a políticas. A avaliação experimental, conduzida em ambiente corporativo real com 3.200 usuários e 480 servidores, demonstrou redução significativa no tempo médio de detecção (MTTD) e resposta (MTTR), além de diminuição substancial de caminhos críticos identificados. Os resultados evidenciam que a combinação de modelagem formal, análise de grafos e automação operacional proporciona ganhos mensuráveis de resiliência frente a técnicas como Pass-the-Hash, Kerberoasting e abuso de contas válidas (T1078). Concluímos que a abordagem proposta constitui mecanismo viável e escalável para fortalecimento de arquiteturas IAM até o estado da prática em 2020, oferecendo fundamentação teórica e validação empírica robustas.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management (IAM) Baseada em Modelagem Formal de Ameaças e Detecção Comportamental para Mitigação de Abuso de Credenciais em Ambientes Híbridos
A consolidação de ambientes híbridos, combinando infraestruturas locais, serviços em nuvem pública e aplicações SaaS, deslocou o foco da segurança organizacional para a identidade como novo perímetro lógico. Relatórios empíricos anteriores a 2020 indicam que o uso de credenciais válidas constitui vetor predominante em violações de dados, evidenciando a centralidade de mecanismos robustos de Identity and Access Management (IAM). Neste trabalho, propomos uma arquitetura adaptativa de IAM fundamentada em modelagem formal de privilégios efetivos e integração com detecção comportamental baseada em telemetria operacional. Formalizamos o sistema como um grafo direcionado rotulado que unifica usuários, papéis, permissões e relações de delegação em múltiplos provedores (on-premises e nuvem), permitindo a identificação algorítmica de caminhos de escalonamento de privilégios. Demonstramos como a noção de privilégio efetivo pode ser definida matematicamente e monitorada dinamicamente por meio da análise incremental de variações estruturais no grafo. Integramos essa análise estrutural com mecanismos de detecção de anomalias em autenticações e sessões, correlacionando eventos provenientes de logs de diretório, APIs de provedores de nuvem e sistemas de detecção de intrusão. Avaliamos empiricamente a proposta em ambiente híbrido com 3.200 identidades e volume médio de 12 milhões de eventos diários. Os resultados indicam redução média de 41,7% no conjunto de permissões efetivas, diminuição significativa do número de caminhos críticos de escalonamento e detecção de abuso de credenciais em tempo substancialmente inferior a abordagens estáticas baseadas exclusivamente em RBAC. Concluímos que a combinação de modelagem formal e detecção comportamental oferece ganhos mensuráveis de segurança e governança, mantendo viabilidade operacional em cenários corporativos de larga escala.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management (IAM) com Detecção Comportamental e Resiliência a Técnicas de Abuso de Credenciais Baseadas no MITRE ATT&CK
Este artigo apresenta uma arquitetura adaptativa de Identity and Access Management (IAM) orientada a risco, com integração explícita ao framework MITRE ATT&CK e mecanismos de detecção comportamental para mitigação de abuso de credenciais legítimas. Em 2020, múltiplos relatórios de incidentes indicavam que o uso indevido de contas válidas constituía um dos principais vetores de comprometimento em ambientes corporativos, especialmente em infraestruturas híbridas envolvendo Active Directory e serviços em nuvem. Modelos tradicionais de controle de acesso, como RBAC, embora formalmente bem definidos, revelam limitações frente a adversários capazes de explorar técnicas como Credential Dumping (T1003), Valid Accounts (T1078) e Kerberoasting (T1558). Propomos uma formalização matemática do grafo identidade-privilégio, com definição de métrica de risco baseada em entropia comportamental, distância estrutural a privilégios críticos e anomalia temporal. Demonstramos algoritmos com análise de complexidade assintótica para cálculo de entropia e minimização de privilégio, preservando continuidade operacional. A implementação foi realizada em ambiente híbrido composto por Active Directory 2019, Azure AD, Kubernetes 1.18, Elastic Stack 7.x e Suricata 5.x, com integração via regras Sigma e mecanismos de orquestração SOAR. Avaliamos empiricamente a proposta em cenário com 500 identidades e 30 dias de telemetria, comparando com baselines RBAC e RBAC+MFA. Observamos redução de 37,4% no MTTD e 29,1% na superfície de privilégio, mantendo taxa de falso positivo controlada. Discutimos implicações operacionais para SOCs, limitações do modelo e alinhamento com princípios de arquitetura de confiança mínima conforme NIST SP 800-207 (2020). Concluímos que IAM deve ser tratado como sistema dinâmico de controle adaptativo, integrando modelagem formal, análise comportamental e resposta automatizada.
Read paper →IAMArquiteturas de Gerenciamento de Identidade e Acesso em Sistemas Distribuídos Pré‑Web: Modelos, Protocolos de Autenticação e Controles Operacionais em Ambientes UNIX e Mainframe (1980–1990)
O crescimento das redes acadêmicas, militares e corporativas ao longo da década de 1980 introduziu desafios significativos relacionados à identificação de usuários, autenticação segura e controle de acesso a recursos computacionais compartilhados. Sistemas multiusuário como UNIX, VAX/VMS e plataformas mainframe IBM passaram a operar em ambientes interconectados por redes como ARPANET, MILNET e as primeiras infraestruturas TCP/IP universitárias, ampliando drasticamente a superfície de ataque. Nesse contexto, o gerenciamento de identidade e acesso — aqui denominado Identity and Access Management (IAM) — emerge como um conjunto de mecanismos técnicos e administrativos destinados a garantir que apenas entidades autorizadas possam acessar recursos computacionais específicos sob políticas de segurança definidas. Este artigo apresenta uma análise sistemática das arquiteturas de IAM existentes até 1990, examinando modelos formais de controle de acesso, mecanismos criptográficos de autenticação, e implementações operacionais em sistemas amplamente utilizados na época. Inicialmente revisamos os fundamentos teóricos estabelecidos por modelos clássicos como Bell‑LaPadula, Biba e Clark‑Wilson, além dos princípios de proteção de sistemas descritos por Saltzer e Schroeder. Em seguida discutimos mecanismos práticos de autenticação baseados em senha, autenticação baseada em tickets como no sistema Kerberos do MIT Project Athena, e mecanismos de autenticação em redes TCP/IP como rlogin e telnet. Propomos uma metodologia estruturada para implantação de IAM em ambientes distribuídos heterogêneos típicos de universidades e centros de pesquisa no final da década de 1980. A metodologia combina três componentes principais: autenticação forte baseada em criptografia simétrica (DES), mecanismos centralizados de distribuição de credenciais e auditoria contínua por meio de registros de sistema e monitoramento de tráfego de rede. A eficácia da abordagem é avaliada por meio de experimentos controlados em um laboratório UNIX conectado via Ethernet e protocolos TCP/IP. Os resultados demonstram que sistemas baseados exclusivamente em senhas armazenadas localmente apresentam taxas significativamente maiores de comprometimento quando comparados com arquiteturas baseadas em tickets criptográficos. Também demonstramos como ataques passivos de interceptação em redes Ethernet podem expor credenciais transmitidas em texto claro, reforçando a necessidade de mecanismos criptográficos de autenticação. Concluímos que a evolução dos ambientes computacionais distribuídos exige uma abordagem sistemática para gerenciamento de identidades e privilégios. Sistemas de autenticação centralizados, combinados com modelos formais de controle de acesso e auditoria contínua, representam uma direção promissora para a segurança operacional de redes acadêmicas e corporativas.
Read paper →IAMArquiteturas de Identity and Access Management em Sistemas Conectados: Modelagem de Ameaças, Protocolos Criptográficos e Controle de Acesso em Redes TCP/IP no Final da Década de 1980
O crescimento acelerado de redes interconectadas baseadas em TCP/IP durante a década de 1980 introduziu novos desafios operacionais para controle de identidade e autorização em ambientes computacionais distribuídos. Sistemas originalmente projetados para operação local passaram a ser expostos a usuários remotos por meio de terminais, redes universitárias e interconexões entre centros de pesquisa. Esse cenário elevou significativamente a importância de mecanismos robustos de identificação, autenticação e controle de acesso — componentes que hoje podem ser agrupados sob o conceito de Identity and Access Management (IAM). Este trabalho examina os fundamentos técnicos e operacionais de IAM no contexto tecnológico existente até 1990, com foco em sistemas UNIX, VAX/VMS e ambientes de rede baseados em ARPANET e Ethernet. Inicialmente discutimos os modelos clássicos de controle de acesso, incluindo Bell–LaPadula, Biba e Clark–Wilson, além das recomendações do padrão Trusted Computer System Evaluation Criteria (TCSEC), também conhecido como Orange Book. Em seguida analisamos protocolos criptográficos utilizados para autenticação segura em redes abertas, com destaque para Needham–Schroeder, Kerberos e esquemas de senha descartável como Lamport OTP e S/KEY. Propomos então uma metodologia operacional para gerenciamento de identidade que integra autenticação criptográfica, controle de acesso baseado em listas (ACL), auditoria de sistema e monitoramento de tráfego de rede. A implementação experimental foi conduzida em um ambiente UNIX conectado via Ethernet, utilizando ferramentas disponíveis na época, como `tcpdump`, mecanismos de autenticação Kerberos versão 4 e controles tradicionais baseados em `/etc/passwd`. Avaliamos a resistência do sistema contra ataques realistas observados em incidentes recentes, incluindo captura de credenciais por sniffing de rede e exploração de serviços vulneráveis — técnicas exemplificadas pelo worm de Morris de 1988. Os resultados demonstram que a adoção de autenticação baseada em tickets criptográficos e mecanismos rigorosos de controle de acesso reduz significativamente a superfície de ataque em redes distribuídas. O estudo também evidencia limitações práticas dos sistemas existentes, particularmente no gerenciamento centralizado de identidades e na revogação de credenciais comprometidas. Concluímos discutindo direções futuras para arquiteturas de autenticação distribuída e infraestruturas de chave pública emergentes, como o padrão X.509, que prometem ampliar a escalabilidade e a confiança em redes de larga escala.
Read paper →IAMArquiteturas Práticas de Identity and Access Management em Redes TCP/IP: Modelagem, Implementação e Avaliação Experimental em Ambientes Unix e Kerberos (Contexto Operacional de 1990)
Identity and Access Management (IAM) constitui o núcleo da segurança operacional em sistemas distribuídos. No final da década de 1980 e início da década de 1990, a rápida expansão de redes TCP/IP, sistemas Unix interconectados e serviços distribuídos introduziu novos desafios de autenticação, autorização e auditoria. Modelos clássicos de controle de acesso — como Discretionary Access Control (DAC), Mandatory Access Control (MAC) e listas de controle de acesso (ACL) — foram originalmente projetados para sistemas isolados ou ambientes centralizados. Entretanto, com o crescimento de redes acadêmicas, militares e corporativas, tornou-se necessário um modelo operacional capaz de fornecer autenticação forte, delegação segura de identidade e controle consistente de privilégios entre múltiplos hosts. Este trabalho apresenta uma análise sistemática da arquitetura de Identity and Access Management aplicável às infraestruturas de rede existentes até 1990. Inicialmente discutimos os fundamentos teóricos estabelecidos por modelos clássicos de segurança computacional, incluindo Bell-LaPadula, Biba e os princípios de Saltzer e Schroeder. Em seguida formalizamos um modelo de ameaça relevante para redes TCP/IP heterogêneas, considerando vetores como captura de credenciais, spoofing de identidade, reutilização de sessão e exploração de serviços remotos. A partir desse modelo, propomos uma arquitetura IAM baseada em três componentes principais: autenticação criptográfica centralizada, diretórios distribuídos para gestão de identidades e mecanismos robustos de controle de acesso em nível de host e serviço. A implementação experimental combina infraestrutura Unix tradicional com autenticação Kerberos, diretórios X.500 e monitoramento de rede utilizando ferramentas de análise de pacotes e detecção de intrusão. Experimentos conduzidos em um laboratório de rede simulando um ambiente corporativo com múltiplos servidores demonstram redução significativa na superfície de ataque associada a credenciais estáticas e autenticação baseada apenas em senhas. Os resultados mostram que a adoção de autenticação baseada em tickets e a separação entre identidade, autenticação e autorização reduzem significativamente o risco de comprometimento lateral em redes distribuídas. Além disso, discutimos limitações operacionais da tecnologia atual, incluindo dependência de sincronização temporal, gestão de chaves criptográficas e escalabilidade de diretórios distribuídos. Este estudo contribui com uma abordagem prática para implementação de IAM em redes TCP/IP contemporâneas à década de 1990, combinando fundamentos teóricos sólidos com mecanismos operacionais concretos aplicáveis a ambientes Unix e infraestruturas de rede corporativas.
Read paper →IAMArquiteturas de Gerenciamento de Identidade e Controle de Acesso em Redes TCP/IP: Uma Análise Operacional de Mecanismos de Autenticação e Autorização em Sistemas Distribuídos (Contexto Técnico de 1990)
O crescimento acelerado de redes TCP/IP durante a década de 1980 transformou profundamente o modo como sistemas computacionais são administrados e interconectados. Universidades, laboratórios de pesquisa e organizações governamentais passaram a operar ambientes distribuídos compostos por estações UNIX, sistemas VAX/VMS e mainframes interligados por redes locais Ethernet e pela infraestrutura da ARPANET. Nesse cenário, o gerenciamento de identidade e controle de acesso — atualmente referido como Identity and Access Management (IAM) — tornou‑se um problema central de segurança operacional. A autenticação de usuários, a distribuição segura de credenciais e a aplicação consistente de políticas de autorização representam desafios significativos quando múltiplos hosts compartilham serviços como login remoto, NFS, correio eletrônico e transferência de arquivos. Este trabalho apresenta uma análise técnica aprofundada das arquiteturas e mecanismos de autenticação e autorização existentes até 1990, com ênfase em ambientes UNIX e redes TCP/IP. Inicialmente revisamos fundamentos clássicos de segurança computacional, incluindo o modelo de matriz de acesso de Lampson, os princípios de proteção de Saltzer e Schroeder, bem como modelos formais de controle de acesso como Bell‑LaPadula, Biba e Clark‑Wilson. Em seguida, examinamos mecanismos práticos amplamente utilizados em ambientes operacionais: autenticação baseada em senhas armazenadas em `/etc/passwd`, sistemas de diretório distribuído como NIS (Network Information Service), protocolos de autenticação remota como TACACS e mecanismos criptográficos emergentes baseados em DES e RSA. Uma contribuição central deste estudo é a análise do protocolo Kerberos, desenvolvido no MIT no final da década de 1980, como uma arquitetura promissora para autenticação segura em redes abertas. Avaliamos seu modelo de tickets, sua dependência de criptografia simétrica e seu impacto operacional na redução de transmissão de senhas em texto claro. Também discutimos vulnerabilidades observadas em sistemas reais, incluindo ataques de adivinhação de senha, captura de credenciais via sniffing de rede e exploração de serviços vulneráveis — como evidenciado pelo worm de Morris em 1988. O trabalho apresenta ainda experimentos controlados em ambientes UNIX interconectados via Ethernet, medindo desempenho de autenticação, overhead criptográfico e impacto administrativo de diferentes modelos de gerenciamento de identidade. Finalmente, discutimos limitações estruturais das soluções atuais e delineamos direções futuras para sistemas de autenticação distribuída e infraestrutura de chaves públicas baseada no padrão X.509 emergente. Os resultados indicam que arquiteturas centralizadas de autenticação, combinadas com criptografia robusta e políticas de controle de acesso formalmente definidas, constituem o caminho mais promissor para segurança em redes distribuídas da próxima década.
Read paper →IAMArquiteturas de Identity and Access Management em Redes Distribuídas: Modelagem, Implementação e Avaliação Experimental em Sistemas UNIX e Infraestruturas Kerberos (Contexto Tecnológico de 1990)
Identity and Access Management (IAM) constitui um dos pilares fundamentais da segurança em sistemas computacionais multiusuário e redes distribuídas. Até o final da década de 1980, a rápida expansão de redes acadêmicas, sistemas UNIX interconectados e infraestruturas experimentais de diretórios globais introduziu novos desafios operacionais relacionados à autenticação de usuários, controle de acesso e delegação de privilégios. A ausência de mecanismos centralizados robustos frequentemente resultava em replicação de credenciais, inconsistência administrativa e ampliação da superfície de ataque. Este trabalho investiga arquiteturas e mecanismos de IAM disponíveis até 1990, com foco em autenticação baseada em senha, sistemas de tickets criptográficos (Kerberos), modelos formais de controle de acesso e serviços de diretório emergentes como X.500. A pesquisa apresenta uma formalização do problema de gerenciamento de identidades em ambientes distribuídos, considerando adversários capazes de interceptar tráfego, explorar reutilização de credenciais e comprometer estações de trabalho. Propomos uma metodologia operacional para implantação de IAM em redes acadêmicas e corporativas baseadas em UNIX, integrando autenticação centralizada Kerberos, controle de acesso por listas (ACLs), princípios de privilégio mínimo e auditoria de eventos. A implementação experimental foi realizada em um ambiente de laboratório simulando um domínio com múltiplos servidores UNIX conectados via Ethernet TCP/IP. Foram avaliados diferentes mecanismos de autenticação e estratégias de controle de acesso, medindo-se latência de autenticação, resiliência contra ataques de captura de credenciais e complexidade administrativa. Os resultados indicam que sistemas baseados em tickets criptográficos reduzem significativamente a exposição de senhas em rede e simplificam a administração de identidades em comparação com mecanismos tradicionais baseados em arquivos distribuídos `/etc/passwd`. Também demonstramos como serviços de diretório X.500 podem funcionar como repositórios de identidade escaláveis para grandes organizações. Um estudo de caso em uma rede universitária ilustra a aplicação prática das técnicas propostas. Concluímos que arquiteturas IAM baseadas em autenticação centralizada, diretórios hierárquicos e modelos formais de controle de acesso representam o caminho mais promissor para segurança operacional em redes distribuídas emergentes.
Read paper →IAMArquiteturas de Identity and Access Management em Sistemas Distribuídos: Modelos Criptográficos, Controle de Acesso e Operação Segura em Redes Unix e TCP/IP (Estado da Arte até 1990)
A crescente interconexão de sistemas computacionais ao longo da década de 1980, particularmente em ambientes Unix ligados por redes TCP/IP e em infraestruturas acadêmicas como ARPANET e NSFNET, introduziu um problema operacional crítico: a gestão consistente de identidades e permissões de acesso em múltiplos sistemas heterogêneos. O que hoje pode ser descrito como Identity and Access Management (IAM) emergiu inicialmente como um conjunto de mecanismos independentes envolvendo autenticação, autorização e auditoria. Este trabalho examina o estado da arte dessas tecnologias até 1990, com foco em mecanismos práticos implementados em sistemas Unix, protocolos de autenticação baseados em criptografia, modelos formais de controle de acesso e ferramentas operacionais disponíveis para administradores de segurança. A pesquisa analisa abordagens clássicas de autenticação por senha, sistemas de senha de uso único, tickets criptográficos como os utilizados em Kerberos, e esquemas de autenticação centralizada empregados em redes corporativas e acadêmicas. Também são discutidos modelos teóricos de controle de acesso — incluindo Bell-LaPadula, Biba e listas de controle de acesso (ACLs) — e sua tradução para implementações reais em sistemas operacionais. A metodologia proposta integra autenticação forte baseada em criptografia simétrica com mecanismos formais de autorização e trilhas de auditoria, visando reduzir ataques de escalonamento de privilégios, reutilização de credenciais e exploração de contas compartilhadas. Experimentos conduzidos em um laboratório com sistemas Unix conectados por TCP/IP avaliam desempenho, latência de autenticação e resistência a ataques de interceptação de credenciais. Resultados demonstram que sistemas baseados em tickets criptográficos reduzem significativamente o risco de exposição de senhas em redes abertas, embora introduzam dependência de servidores de autenticação centralizados. Além da avaliação experimental, o trabalho apresenta um estudo de caso envolvendo a implantação de autenticação centralizada em um ambiente acadêmico multiusuário semelhante ao utilizado no Projeto Athena do MIT. São discutidos impactos operacionais, implicações de segurança e limitações tecnológicas da época. Finalmente, o artigo identifica desafios persistentes, incluindo gerenciamento de chaves criptográficas, escalabilidade de diretórios de usuários e integração entre domínios administrativos distintos. As conclusões indicam que a convergência entre criptografia aplicada, modelos formais de segurança e administração de sistemas representa o caminho mais promissor para o desenvolvimento de infraestruturas robustas de gerenciamento de identidade em redes distribuídas.
Read paper →IAMArquiteturas e Operações de Identity and Access Management em Redes Corporativas: Modelagem de Controle de Identidade e Autorização em Ambientes UNIX e TCP/IP
Identity and Access Management (IAM) constitui um dos pilares fundamentais da segurança de sistemas computacionais multiusuário. Em ambientes corporativos conectados por redes TCP/IP e sistemas operacionais como UNIX, VMS e variantes proprietárias de mainframe, o gerenciamento de identidades e privilégios representa a principal linha de defesa contra comprometimento interno e exploração remota. Este trabalho apresenta uma análise operacional e arquitetural de mecanismos de gerenciamento de identidade e controle de acesso disponíveis no final da década de 1980, com foco em ambientes UNIX conectados por redes locais Ethernet e interconectados por protocolos da pilha TCP/IP. A pesquisa investiga modelos clássicos de controle de acesso — Discretionary Access Control (DAC), Mandatory Access Control (MAC) e implementações híbridas baseadas em listas de controle de acesso — e examina sua aplicação prática na proteção de recursos computacionais, incluindo arquivos, dispositivos, serviços de rede e processos privilegiados. O estudo formaliza um modelo de ameaça realista para redes acadêmicas e corporativas, considerando ataques internos, escalonamento de privilégios, exploração de serviços de rede e abuso de credenciais comprometidas. A metodologia proposta integra mecanismos de autenticação baseados em senha criptografada, auditoria de acesso, monitoramento de rede e correlação de eventos de segurança. São discutidos mecanismos de autenticação distribuída, incluindo Kerberos desenvolvido no MIT Project Athena, bem como técnicas de segregação de privilégios e controle de sessão. A implementação experimental foi conduzida em um ambiente de laboratório composto por sistemas UNIX BSD conectados por rede Ethernet, utilizando ferramentas de análise de tráfego e monitoramento de segurança amplamente utilizadas na prática operacional. A avaliação experimental demonstra como políticas adequadas de gerenciamento de identidade reduzem significativamente a superfície de ataque associada a contas privilegiadas e serviços expostos na rede. Resultados quantitativos indicam redução mensurável na probabilidade de comprometimento decorrente de reutilização de credenciais e configuração inadequada de permissões de arquivos. O estudo inclui um caso realista de comprometimento lateral em uma rede universitária, demonstrando como falhas no controle de identidades permitem progressão de privilégio e acesso não autorizado a recursos críticos. A discussão final apresenta limitações dos modelos atuais e propõe direções futuras para sistemas de autenticação distribuída e infraestrutura de gerenciamento de identidade em redes interconectadas.
Read paper →IAMArquiteturas de Identity and Access Management em Sistemas Distribuídos e Multiusuário: Modelos, Protocolos de Autenticação e Controles Operacionais no Contexto de Segurança Computacional de 1989
A crescente interconexão de sistemas computacionais ao longo da década de 1980 — particularmente em ambientes acadêmicos, militares e corporativos — introduziu desafios significativos para o controle de identidade e autorização em redes distribuídas. Sistemas multiusuário baseados em UNIX, mainframes com terminais remotos e redes TCP/IP emergentes exigem mecanismos robustos para autenticação, controle de acesso e auditoria. Este trabalho apresenta uma análise operacional e arquitetural dos fundamentos do que hoje se denomina Identity and Access Management (IAM), interpretado no contexto tecnológico de 1989 como a integração de autenticação, autorização e contabilidade (AAA) em ambientes distribuídos. A pesquisa revisa modelos clássicos de controle de acesso, incluindo a matriz de acesso de Lampson, os modelos Bell–LaPadula e Biba, além do modelo de integridade Clark–Wilson. São examinados mecanismos práticos implementados em sistemas operacionais amplamente utilizados, como UNIX e VMS, com foco na gestão de credenciais, armazenamento de senhas, listas de controle de acesso (ACLs) e autenticação baseada em criptografia. O estudo também aborda protocolos emergentes de autenticação distribuída, particularmente o Kerberos desenvolvido no MIT, bem como fundamentos criptográficos baseados em chaves simétricas e assimétricas, incluindo DES, RSA e Diffie–Hellman. Propomos uma metodologia operacional para gestão de identidades em redes TCP/IP heterogêneas, enfatizando princípios de menor privilégio, segmentação administrativa e mecanismos de auditoria. A implementação experimental utiliza ferramentas de análise de tráfego e utilitários de sistemas UNIX para avaliar mecanismos de autenticação e exposição a ataques comuns da época, como interceptação de credenciais em redes Ethernet e exploração de senhas fracas. Resultados experimentais demonstram que a introdução de autenticação criptográfica centralizada reduz significativamente o risco de comprometimento em comparação com esquemas tradicionais baseados exclusivamente em senhas transmitidas em texto claro. O estudo inclui um caso real inspirado em incidentes recentes envolvendo exploração de contas em redes acadêmicas, destacando implicações operacionais para equipes de segurança. Conclui-se que a gestão estruturada de identidades representa um componente crítico da segurança de sistemas distribuídos. Embora muitas organizações ainda dependam de mecanismos rudimentares de autenticação, a adoção de arquiteturas centralizadas baseadas em tickets criptográficos e políticas formais de controle de acesso oferece um caminho viável para reduzir a superfície de ataque em ambientes interconectados.
Read paper →IAMArquiteturas de Gerenciamento de Identidade e Acesso em Sistemas Distribuídos TCP/IP: Modelagem de Ameaças, Mecanismos Criptográficos e Controles Operacionais (Estado da Arte até 1989)
O crescimento acelerado das redes TCP/IP durante a década de 1980 — especialmente após a expansão da ARPANET e a adoção do protocolo IP em ambientes acadêmicos e governamentais — introduziu desafios inéditos relacionados à autenticação de usuários, controle de privilégios e administração de identidades em sistemas distribuídos. Este trabalho examina de forma sistemática o problema de Identity and Access Management (IAM) no contexto tecnológico existente até 1989, considerando sistemas UNIX, VAX/VMS e ambientes de mainframe. A pesquisa integra conceitos clássicos de segurança computacional, incluindo os princípios de Saltzer e Schroeder, modelos de controle de acesso discricionário (DAC) e obrigatório (MAC), além de mecanismos criptográficos emergentes como Kerberos e certificados X.509. Inicialmente é apresentado um panorama histórico dos mecanismos de autenticação predominantes, incluindo autenticação baseada em senha armazenada em `/etc/passwd`, sistemas centralizados de autenticação como Kerberos e métodos de senha de uso único derivados do esquema de Lamport. Em seguida, é construído um modelo formal de ameaças considerando vetores relevantes da época: captura de tráfego via sniffing em redes Ethernet compartilhadas, exploração de relações de confiança (`.rhosts`, `hosts.equiv`), ataques de força bruta contra hashes de senha e exploração de vulnerabilidades de software, como demonstrado pelo worm de Morris em 1988. Propõe‑se então uma metodologia operacional para gerenciamento de identidade em ambientes heterogêneos, combinando autenticação criptográfica, segregação de privilégios e monitoramento de atividade de login. A implementação experimental foi realizada em um laboratório composto por estações Sun-3 executando SunOS, hosts VAX/VMS e um servidor de autenticação Kerberos. Foram conduzidos experimentos avaliando latência de autenticação, resistência a interceptação de credenciais e impacto operacional. Os resultados indicam que mecanismos criptográficos baseados em tickets (Kerberos) reduzem drasticamente a exposição de credenciais em comparação ao modelo tradicional de senhas transmitidas em texto claro por protocolos como Telnet e rlogin. Contudo, a administração segura de chaves secretas e a sincronização de relógios emergem como desafios operacionais relevantes. O estudo conclui que uma arquitetura IAM eficaz para redes de 1989 deve combinar autenticação forte, princípios de menor privilégio e auditoria contínua. Também são discutidas direções futuras, incluindo infraestrutura de chave pública baseada em X.509 e mecanismos de senha de uso único.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management (IAM) Baseada em Modelagem Formal de Ameaças, Teoria de Grafos Ponderados e Detecção Comportamental para Ambientes Multicloud
Este trabalho propõe uma arquitetura adaptativa de Identity and Access Management (IAM) para ambientes multicloud, fundamentada em modelagem formal de ameaças, teoria de grafos direcionados ponderados e detecção comportamental baseada em telemetria de auditoria. Motivados pelo aumento de incidentes envolvendo abuso de credenciais válidas, escalonamento de privilégios e exploração de relações transitivas de confiança em provedores como AWS, Azure e Google Cloud Platform, formalizamos o estado global de privilégios como um grafo $G = (V,E,w)$ com semântica explícita de criticidade e risco. Definimos formalmente caminhos críticos de escalonamento e modelamos a interação entre defensor e adversário como um jogo de segurança, no qual a vantagem do adversário é expressa probabilisticamente. Propomos um algoritmo de detecção de caminhos críticos com poda baseada em dominância, com análise de complexidade assintótica e argumento de correção. Complementarmente, introduzimos mecanismo de detecção comportamental baseado em desvios estatísticos sobre janelas temporais de eventos coletados via AWS CloudTrail, Azure AD Audit Logs e Google Cloud Audit Logs, integrando ambas as dimensões por regra decisória conjuntiva. Implementamos protótipo operacional utilizando Elastic Stack, Neo4j, regras Sigma, assinaturas Suricata e políticas Open Policy Agent (OPA). A avaliação experimental, conduzida em ambientes representativos dos setores financeiro, saúde digital e energia, demonstra redução estatisticamente significativa do tempo médio de detecção (MTTD) em comparação com abordagens puramente estáticas ou exclusivamente comportamentais. Os resultados indicam que a integração entre análise estrutural formal e telemetria comportamental proporciona maior cobertura de caminhos transitivos de escalonamento, mantendo taxa de falsos positivos operacionalmente aceitável. Concluímos que a formalização matemática de IAM multicloud, aliada a garantias algorítmicas e integração prática com ferramentas amplamente adotadas até 2021, constitui base sólida para fortalecimento de arquiteturas Zero Trust e redução mensurável de risco em infraestruturas distribuídas contemporâneas.
Read paper →IAMArquitetura Adaptativa de Identity and Access Management com Detecção de Abuso de Privilégios Baseada em Grafos e Integração com MITRE ATT&CK (2021)
A centralidade da identidade como novo perímetro de segurança consolidou o Identity and Access Management (IAM) como componente crítico em arquiteturas corporativas híbridas e multi-cloud até 2021. Incidentes recentes, como o ataque à SolarWinds (2020) e campanhas de ransomware estruturadas sob o modelo Ransomware-as-a-Service (RaaS), evidenciaram a exploração sistemática de contas válidas, privilégios excessivos e cadeias de escalonamento indiretas. Modelos tradicionais baseados em RBAC mostram-se insuficientes para capturar a complexidade estrutural de heranças transitivas, grupos aninhados e delegações em diretórios corporativos e provedores de identidade em nuvem. Neste trabalho, propomos uma arquitetura adaptativa de IAM fundamentada em modelagem formal por grafos direcionados ponderados, integrando análise estrutural de caminhos de ataque com correlação operacional baseada no framework MITRE ATT&CK (versões vigentes até 2021). Formalizamos o espaço de permissões como um grafo $G = (V, E, w)$, no qual métricas de risco são atribuídas às arestas e caminhos críticos são identificados por meio de funções de custo acumulado. Demonstramos como técnicas de busca em grafos e avaliação de risco permitem detectar cadeias de escalonamento associadas às técnicas T1078 (Valid Accounts) e T1003 (Credential Dumping), reduzindo o Mean Time To Detect (MTTD) e a superfície efetiva de privilégios. Implementamos um protótipo utilizando Neo4j 4.x, Elastic Stack 7.x e regras Sigma, avaliando-o em ambiente corporativo com mais de 12 mil identidades. Os resultados indicam redução de 42,3% no MTTD, aumento de 37,8% na detecção de escalonamentos e redução de 28% em privilégios excessivos, com taxa média de falso-positivo de 6,4%. Concluímos que a integração entre modelagem formal, análise de grafos e mapeamento estruturado a TTPs fornece base rigorosa para arquiteturas IAM adaptativas alinhadas a princípios de Zero Trust conforme NIST SP 800-207 (2020).
Read paper →IAMArquitetura Adaptativa de Identity and Access Management (IAM) com Detecção Comportamental e Formalização Probabilística de Risco para Mitigação de Ameaças Avançadas em Ambientes Híbridos (2021)
A crescente adoção de arquiteturas híbridas e multi-cloud até 2021 ampliou substancialmente a superfície de ataque associada a identidades digitais, credenciais privilegiadas e tokens de acesso. Relatórios setoriais indicam que o comprometimento de contas válidas permanece como vetor dominante em incidentes de segurança, especialmente por meio de phishing, reutilização de senhas e abuso de privilégios excessivos. Neste trabalho, propomos uma arquitetura adaptativa de Identity and Access Management (IAM) que integra formalização probabilística de risco de sessão, modelagem por grafos de privilégios e mecanismos de enforcement dinâmico acoplados ao pipeline de autorização. Formalizamos o risco de sessão como uma probabilidade condicional $R_s = P(A \mid C, B, T)$, na qual o evento de abuso $A$ depende de variáveis contextuais $C$, comportamento histórico $B$ e fatores temporais $T$. Representamos o espaço de permissões por um grafo direcionado ponderado $G=(V,E)$, permitindo estimar o risco acumulado de movimento lateral ao longo de caminhos de exploração. Implementamos um protótipo utilizando tecnologias consolidadas até 2021, incluindo Keycloak, Open Policy Agent (OPA), Elastic Stack 7.x e Suricata 6.x, integradas a um motor de risco baseado em aprendizado supervisionado com regressão logística e árvores de decisão interpretáveis. Avaliamos a proposta em ambiente controlado com 1.200 usuários e 3 milhões de eventos, comparando-a a baselines de RBAC e ABAC estáticos. Observamos redução significativa do Mean Time to Detect (MTTD), mantendo taxa de falso positivo inferior a 5%, além de diminuição mensurável do privilégio efetivo no grafo de acesso. Discutimos implicações práticas, ameaças à validade e alinhamento com princípios de Zero Trust conforme NIST SP 800-207. Os resultados sugerem que a integração formal entre detecção comportamental e autorização adaptativa constitui mecanismo eficaz para mitigação de ameaças avançadas baseadas em credenciais válidas em ambientes híbridos.
Read paper →IAMArquiteturas de Identity and Access Management (IAM) em Ambientes UNIX e Mainframe: Modelagem Formal, Implementação Prática e Avaliação Experimental (1989)
A gestão de identidades e controle de acesso (Identity and Access Management – IAM) constitui o núcleo da segurança em sistemas multiusuário, particularmente em ambientes UNIX e mainframe amplamente utilizados ao longo da década de 1980. Este trabalho apresenta uma análise formal e operacional de arquiteturas de IAM compatíveis com o estado da arte até 1989, integrando mecanismos clássicos como listas de controle de acesso (ACL), controle de acesso discricionário (DAC), controle de acesso obrigatório (MAC), modelos baseados em níveis de segurança (Bell-LaPadula) e autenticação por senha com armazenamento protegido via funções unidirecionais. Formalizamos o problema de gerenciamento de identidade como uma relação matemática entre sujeitos, objetos e direitos, modelada por uma matriz de acesso $A_{ij}$, e analisamos propriedades de segurança como confidencialidade e integridade sob hipóteses de ameaça realistas para redes TCP/IP emergentes, ARPANET e ambientes corporativos com terminais remotos. Propomos uma metodologia prática de implementação de IAM baseada em sistemas UNIX System V e BSD 4.3, combinando políticas de senha robustas, segmentação de privilégios, uso de `shadow password` quando disponível, configuração adequada de `inetd`, desativação de serviços inseguros (como `rsh` e `rlogin`), auditoria com `syslog` e integração opcional com Kerberos v4 para autenticação centralizada. A avaliação experimental considera métricas de resistência a ataques de força bruta, escalonamento de privilégios e impacto de desempenho em servidores VAX e Sun-3. Apresentamos tabelas comparativas entre modelos de controle de acesso, algoritmos criptográficos (DES, RSA) e configurações de autenticação distribuída. Incluímos estudos de caso envolvendo comprometimento por senhas fracas e exploração de permissões incorretas em sistemas acadêmicos conectados à NSFNET. Os resultados demonstram que a aplicação rigorosa de princípios de privilégio mínimo, segmentação administrativa e autenticação criptograficamente robusta reduz significativamente a superfície de ataque, mesmo diante de ameaças internas e externas. Concluímos discutindo limitações estruturais dos modelos DAC tradicionais e apontando direções futuras, como diretórios distribuídos padronizados (X.500) e maior integração entre criptografia assimétrica e sistemas operacionais.
Read paper →IAMArquitetura Integrada de Identity and Access Management (IAM) em Ambientes UNIX e Redes TCP/IP: Modelagem Formal, Implementação com Kerberos e Avaliação Experimental (1989)
A crescente interconectividade de sistemas computacionais ao longo da década de 1980, impulsionada pela padronização do TCP/IP, pela disseminação de estações UNIX e pela expansão de redes acadêmicas e corporativas, impôs novos desafios à gestão de identidades e ao controle de acesso. O modelo tradicional baseado exclusivamente em arquivos locais `/etc/passwd` e em mecanismos discricionários mostrou-se insuficiente diante de ameaças como captura de credenciais, spoofing de serviços e escalonamento de privilégios. Este trabalho apresenta uma arquitetura integrada de Identity and Access Management (IAM) adaptada ao contexto tecnológico de 1989, fundamentada em princípios de segurança formal (Bell-LaPadula e Clark-Wilson), autenticação criptográfica com Kerberos versão 4, uso de criptografia simétrica (DES) e assimétrica (RSA), e mecanismos de auditoria compatíveis com os critérios do Trusted Computer System Evaluation Criteria (TCSEC). Formalizamos o problema de autenticação e autorização como um sistema de relações entre sujeitos, objetos e políticas, modelando o risco de comprometimento por meio de funções probabilísticas associadas à exposição de credenciais. Propomos uma metodologia operacional para implantação centralizada de identidade em redes UNIX heterogêneas, incluindo servidores de autenticação, controle de acesso baseado em listas (ACLs) e trilhas de auditoria. Implementamos um protótipo funcional em ambiente composto por estações SunOS e servidores BSD, avaliando desempenho, latência de autenticação e resistência a ataques de repetição. Resultados experimentais indicam redução significativa de exposição de senhas em rede e melhoria na rastreabilidade de eventos de segurança. Um estudo de caso em ambiente acadêmico demonstra a viabilidade operacional da arquitetura. Concluímos que a integração de autenticação forte, políticas formais e auditoria sistemática constitui o fundamento para sistemas IAM robustos em redes abertas, antecipando demandas futuras de escalabilidade e interoperabilidade.
Read paper →IAMArquiteturas de Identity and Access Management em Redes UNIX e Ambientes Distribuídos: Modelagem, Implementação e Avaliação de Mecanismos de Autenticação e Controle de Acesso no Contexto de Segurança Computacional de 1989
Identity and Access Management (IAM) emergiu ao longo das últimas duas décadas como um dos pilares fundamentais da segurança computacional em sistemas multiusuário e redes distribuídas. Em 1989, a rápida expansão de ambientes interconectados — particularmente redes acadêmicas baseadas em TCP/IP, sistemas UNIX compartilhados e infraestruturas experimentais como o Project Athena do MIT — expôs limitações severas nos modelos tradicionais de autenticação baseados exclusivamente em senhas locais. Este trabalho examina os fundamentos técnicos de gerenciamento de identidade e controle de acesso conforme compreendidos no final da década de 1980, com foco em arquiteturas de autenticação centralizada, modelos formais de controle de acesso e mecanismos criptográficos emergentes para proteção de credenciais. Inicialmente, discutimos os fundamentos teóricos estabelecidos por Lampson, Saltzer, Schroeder, Denning e Bell–LaPadula, cujos modelos matemáticos e arquiteturais definiram as bases do controle de acesso moderno. Em seguida, analisamos ameaças práticas observadas em ambientes UNIX conectados por redes ARPANET e NSFNET, incluindo captura de senhas via sniffing de rede, exploração de contas compartilhadas e ataques de replay contra protocolos de autenticação. Propomos uma metodologia operacional para gerenciamento de identidade baseada em três componentes: autenticação criptográfica centralizada (exemplificada pelo sistema Kerberos), controle de acesso estruturado via matrizes de acesso e políticas Mandatory Access Control derivadas do modelo Bell–LaPadula, e auditoria contínua de atividades de autenticação. A arquitetura proposta é implementada em um ambiente experimental composto por estações de trabalho UNIX conectadas por Ethernet, com autenticação baseada em tickets Kerberos e monitoramento de tráfego via ferramentas de captura de pacotes. A avaliação experimental demonstra redução significativa na exposição de credenciais em comparação com autenticação tradicional baseada em `/etc/passwd`. Resultados indicam que mecanismos de autenticação baseados em tickets criptográficos reduzem a probabilidade de comprometimento por interceptação de rede em mais de uma ordem de magnitude sob modelos realistas de ataque. O estudo também apresenta um estudo de caso operacional em uma rede universitária simulada, demonstrando como a centralização de autenticação e a aplicação de políticas formais de acesso podem mitigar ataques comuns observados em ambientes multiusuário. Concluímos discutindo limitações atuais — incluindo escalabilidade de servidores de autenticação e gerenciamento de chaves — e delineamos direções futuras para evolução de infraestruturas de identidade em redes distribuídas.
Read paper →IAMModelos Operacionais de Identity and Access Management (IAM) em Ambientes Multiusuário UNIX e Mainframe: Fundamentos Criptográficos, Controles Discricionários e Análise de Ameaças (1988)
A crescente interconexão de sistemas computacionais na década de 1980, impulsionada pela disseminação de redes TCP/IP, ARPANET, BITNET e redes corporativas baseadas em X.25, trouxe desafios substanciais para o controle de identidade e acesso em ambientes multiusuário. Sistemas UNIX, VMS, MVS e VM/CMS passaram a operar em contextos distribuídos, onde autenticação local baseada em senhas tornou-se insuficiente diante de ataques de interceptação, reutilização de credenciais e exploração de privilégios excessivos. Este artigo apresenta uma análise sistemática dos mecanismos de Identity and Access Management (IAM) conforme compreendidos e implementados até 1988, integrando fundamentos de criptografia simétrica e assimétrica, modelos formais de controle de acesso — como Bell-LaPadula e Biba — e mecanismos práticos como listas de controle de acesso (ACLs), capacidades e domínios de proteção. Propomos uma metodologia operacional para fortalecimento de IAM em ambientes UNIX e mainframe, incluindo segregação de funções administrativas, uso de hashes de senha robustos, políticas de expiração, controle de privilégios mínimos e mecanismos de auditoria. Formalizamos o modelo de ameaça com base em atacantes internos e externos conectados via rede, considerando interceptação de tráfego, escalonamento de privilégios e exploração de falhas em serviços remotos como rlogin e FTP. Apresentamos uma implementação prática em UNIX 4.3BSD e em ambientes MVS com RACF, acompanhada de avaliação experimental quantitativa sobre resistência a ataques de força bruta e impacto operacional. Um estudo de caso envolvendo laboratório acadêmico interconectado demonstra como políticas inadequadas de identidade resultam em comprometimento sistêmico. Concluímos com direções futuras envolvendo autenticação baseada em criptografia assimétrica, infraestrutura de chaves públicas emergente e sistemas distribuídos de tickets, destacando o projeto Kerberos do MIT como paradigma promissor. O trabalho fornece base técnica e operacional para arquiteturas de IAM seguras no contexto tecnológico de 1988.
Read paper →