Arquiteturas de Gerenciamento de Identidade e Acesso (IAM) em Ambientes Distribuídos e Mainframe: Modelagem Formal, Implementação Prática e Avaliação Experimental no Contexto Tecnológico de 1986

1. Introdução

A rápida difusão de redes locais Ethernet e a crescente interconexão de sistemas multiusuário ampliaram a superfície de ataque de ambientes outrora isolados (METCALFE; BOGGS, 1976; POSTEL, 1981a; POSTEL, 1981b). Em particular, a adoção de 4.2BSD/4.3BSD e SunOS em estações de trabalho, lado a lado com mainframes IBM executando MVS/TSO com RACF, trouxe à tona a necessidade de autenticação e autorização coerentes entre domínios tecnológicos heterogêneos (IBM, 1985). A prática comum de interação por Telnet e rlogin transmite credenciais em texto claro, expondo usuários a interceptação em meios compartilhados (REYNOLDS; POSTEL, 1983; GRAMPP; MORRIS, 1984).

No universo UNIX, a autenticação baseada em senhas armazenadas no arquivo local /etc/passwd, com hashes produzidos por uma variante do DES via função crypt(), representa avanço substancial sobre o armazenamento em claro (MORRIS; THOMPSON, 1979). Contudo, a obtenção de cópias desse arquivo por usuários maliciosos — por extração local ou exposição indevida — viabiliza ataques de força bruta e dicionário, sobretudo quando combinados com políticas fracas de senhas e reutilização em múltiplos serviços (GRAMPP; MORRIS, 1984). Em paralelo, ambientes corporativos com MVS/TSO valem-se do RACF para centralização de identidades, perfis e auditoria, oferecendo um contraponto de controle mais rígido, porém com desafios de integração para além do mainframe (IBM, 1985).

Adicionalmente, protocolos de autenticação simples sofrem com vulnerabilidades de replay e de masquerade quando mensagens legítimas podem ser reapresentadas fora de contexto, efeito exacerbado pela ausência de proteção criptográfica fim a fim e por sincronização de tempo precária (NEEDHAM; SCHROEDER, 1978; DENNING; SACCO, 1981; MILLS, 1985). Protocolos de distribuição de chaves com base em servidor central, aliados a timestamps e nãoces, constituem linha promissora para eliminar exposição de senhas na rede, oferecer autenticação mútua e permitir delegação controlada em serviços distribuídos.

Este trabalho apresenta uma arquitetura de Gerenciamento de Identidade e Acesso (IAM) compatível com o estado tecnológico de 1986, integrando: (i) modelo formal de segurança de acesso (Bell–LaPadula e Biba), (ii) autenticação criptográfica simétrica com DES em modos padronizados (FIPS PUB 81), (iii) autorização por DAC/ACL com políticas centralizadas coerentes com o TCSEC (DOD, 1985) e (iv) auditoria abrangente em UNIX (syslog) e MVS (SMF). Nossa hipótese é que uma composição cuidadosa de princípios de proteção (SALTZER; SCHROEDER, 1975), modelos formais (BELL; LAPADULA, 1973; BIBA, 1977), protocolos de autenticação com timestamps (DENNING; SACCO, 1981) e práticas de auditoria (ANDERSON, 1972) reduz substancialmente o risco operacional sem degradação relevante de desempenho ou usabilidade.

Propomos, implementamos e avaliamos um Serviço Central de Autenticação com Tickets Temporários (doravante, SCATT), inspirado em Needham–Schroeder com reforço de timestamps, integrando-se a diretórios operacionais Sun Yellow Pages (YP) para coesão de nomes e senhas (SUN MICROSYSTEMS, 1985), e interconectando-se a ambientes MVS/TSO via políticas RACF. Demonstramos, por meio de avaliação experimental em laboratório, que a sobrecarga criptográfica do DES em VAX-11/780 e Sun-3 é modesta e que a redução de vetores clássicos de ataque — interceptação em claro, replay e escalonamento via configuração frágil — é significativa.

2. Fundamentos e Trabalhos Relacionados

A base teórica de controle de acesso foi estabelecida por pesquisas seminalmente sintetizadas por Lampson (1971) e por Saltzer e Schroeder (1975), que enunciaram princípios como privilégio mínimo, separação de privilégios e simplicidade de mecanismo (LAMPSON, 1971; SALTZER; SCHROEDER, 1975). Em seguida, o modelo de confidencialidade Bell–LaPadula (BLP) formalizou as propriedades “no read up” e “no write down”, com hierarquias de classificação e rótulos de segurança (BELL; LAPADULA, 1973; BELL; LAPADULA, 1976). Para integridade, o modelo de Biba contrapôs-se ao BLP ao inverter o fluxo permitido de informações, prevenindo a contaminação por entradas de baixa integridade (BIBA, 1977). A decidibilidade de problemas de concessão de acesso, e a generalidade do modelo matriz de acesso, foram estudadas no clássico HRU, caracterizando condições de segurança e a indecidibilidade do problema em casos gerais (HARRISON; RUZZO; ULLMAN, 1976).

No plano de autenticação, Needham e Schroeder (1978) propuseram um protocolo simétrico de distribuição de chaves mediado por servidor central, com o uso de nãoces e sessões temporárias (NEEDHAM; SCHROEDER, 1978). Posteriormente, Denning e Sacco (1981) mostraram que a inclusão criteriosa de timestamps neutraliza classes relevantes de replay, desde que o relógio das partes se mantenha adequadamente sincronizado (DENNING; SACCO, 1981). Em paralelo, avanços em criptografia assimétrica (DIFFIE; HELLMAN, 1976; RIVEST; SHAMIR; ADLEMAN, 1978) abriram caminho para esquemas de distribuição de chaves públicas; contudo, a maturidade operacional e o custo computacional em 1986 orientam-nos ao emprego predominante do DES (FIPS PUB 46) em modos padronizados (FIPS PUB 81) nas trilhas críticas de autenticação e proteção de tickets (NBS, 1977; NBS, 1980).

Sistemas operacionais de uso amplo oferecem arcabouço prático para autorização e auditoria. UNIX 4.2/4.3BSD fundamenta-se em DAC com bits rwx e a noção de UID/GID, com logging via syslogd e categorias de mensagens, que permitem consolidação de auditoria de autenticação e autorização (UNIVERSITY OF CALIFORNIA, 1986). Em VAX/VMS, ACLs são recursos nativos, permitindo granularidade mais fina e herança de permissões (DEC, 1984). Em mainframes IBM, o RACF centraliza perfis de recurso, políticas de autenticação e auditoria minuciosa via SMF (IBM, 1985). Do lado da infraestrutura de nomes e distribuição de senhas, o Sun Yellow Pages (YP) fornece diretório operacional de chaves e atributos, já difundido em ambientes SunOS e integrado a serviços de login, rlogin e NFS (SUN MICROSYSTEMS, 1985; SANDBERG et al., 1985).

No tocante a redes, Ethernet de 10 Mbps e TCP/IP (RFC 791/793) tornaram-se onipresentes, mas protocolos de aplicação como Telnet permanecem sem criptografia, expondo credenciais a interceptação passiva e ativa (POSTEL, 1981a; POSTEL, 1981b; REYNOLDS; POSTEL, 1983). A sincronização temporal — componente vital para protocolos com timestamps — tem suporte emergente em NTP (RFC 958), que, ainda incipiente, provê base suficiente para tolerância a desvios moderados (MILLS, 1985).

A auditoria é parte essencial do ciclo de proteção desde os estudos clássicos de Anderson (1972) e figura nos critérios TCSEC (DOD, 1985), que especificam classes e requisitos de confiança para sistemas, enfatizando autenticação, rotulagem, auditoria e política formal. Avaliações de segurança histórica do Multics e seu ciclo de vulnerabilidades reforçam a centralidade de desenho formal aliado a mecanismos certos (KARGER; SCHELL, 1974).

A Tabela 1 resume mecanismos relevantes presentes em 1986.

Plataforma	Autenticação	Autorização	Criptografia	Auditoria
UNIX 4.3BSD	Senha local com hash DES (crypt)	DAC (UID/GID) + grupos	DES (bibliotecas do sistema)	syslogd
VAX/VMS	Senha local; integração opcional de ACLs	ACLs nativas	DES via bibliotecas/accelerators	Logs de segurança VMS
IBM MVS/TSO + RACF	Centralizada pelo RACF	Perfis RACF e classes de recurso	DES para proteção de dados/linhas	SMF
Diretório YP	Distribuição de mapas de senha/nomes	Apoia políticas host-based	N/A	Logs do sistema

3. Modelo de Ameaças e Formalização do Problema

Assumimos um adversário com capacidades classicamente observadas em 1986:

1. Eavesdropping passivo em redes Ethernet de barramento compartilhado.
2. Injeção e replay de mensagens capturadas em janelas temporais curtas.
3. Acesso a conta local de usuário com privilégios limitados (e.g., exploração de arquivos world-readable).
4. Tentativas de escalonamento para superusuário mediante permissões frágeis e executáveis setuid mal configurados (GRAMPP; MORRIS, 1984).

Modelamos o sistema por uma família de estados $S_t$ representando configurações a cada tempo $t$:

$$ S_t = \big(U_t, R_t, P_t, C_t, K_t \big), $$

onde $U_t$ é o conjunto de usuários autenticados, $R_t$ o conjunto de recursos, $P_t$ o conjunto de políticas (regras DAC/ACL/BLP/Biba) vigentes, $C_t$ o conjunto de credenciais ativas (senhas derivadas, tickets temporários), e $K_t$ o conjunto de chaves simétricas de sessão e de chaves mestras sob custódia do servidor de autenticação.

Definimos as propriedades de segurança:

• Confidencialidade: para todo $s \in U_t$ e $o \in R_t$, se $\text{read}(s,o)$ então $L(s) \geq L(o)$, conforme BLP (BELL; LAPADULA, 1973).
• Integridade: para todo $s \in U_t$ e $o \in R_t$, se $\text{write}(s,o)$ então $I(s) \leq I(o)$, conforme Biba (BIBA, 1977).
• Autenticidade: acesso a $R_t$ ocorre somente mediante verificação criptográfica de identidade com base em $C_t$ e $K_t$.

Consideramos um conjunto de $n$ vetores de ataque independentes, com probabilidades $p_1,\dots,p_n$; a probabilidade de comprometimento agregado é:

$$ P_c = 1 - \prod_{i=1}^n (1 - p_i). $$

A independência é hipótese conservadora e discutimos sua plausibilidade empírica na Seção 8. Nosso objetivo é reduzir $P_c$ por: (i) eliminação da exposição de senhas em claro e mitigação de replay via SCATT, (ii) endurecimento de configurações DAC/ACL, (iii) política formal com checagem estática e (iv) aumento de capacidade forense por auditoria detalhada.

4. Arquitetura Proposta

Estruturamos a arquitetura em quatro camadas acopladas:

1. Serviço Central de Autenticação com Tickets Temporários (SCATT), baseado em distribuição de chaves simétricas com nãoces e timestamps (NEEDHAM; SCHROEDER, 1978; DENNING; SACCO, 1981).
2. Autorização local por DAC (UNIX) e ACL (VAX/VMS), e controle de recursos corporativos via RACF (IBM, 1985).
3. Política formal com rótulos BLP/Biba para recursos sensíveis, aplicados por mapeamentos em perfis de RACF e por rigor em permissões e grupos no UNIX.
4. Auditoria contínua e centralizada com syslog (UNIX) e SMF (MVS), em conformidade com TCSEC (DOD, 1985).

4.1. Desenho lógico

O SCATT introduz duas entidades: o Servidor de Autenticação (SA) e o Serviço de Concessão de Tickets (SCT), logicamente acoplados, porém implementáveis no mesmo host VAX-11/780 com canal seguro administrativo. Fluxos principais:

• Inicialização: cada usuário $u$ partilha previamente com o SA uma chave $K_u$ (derivada de senha por função one-way compatível com DES); cada servidor $v$ partilha com o SA uma chave $K_v$.
• Obtenção de ticket de sessão $K_{u,v}$: o cliente envia requisição contendo identidade de $u$, de $v$, nonce $N_u$ e timestamp $T_u$. O SA responde com um pacote protegido por $K_u$, contendo $K_{u,v}$, $N_u$, $T_u$, validade $\Delta$, e um ticket para $v$ cifrado com $K_v$.
• Apresentação de ticket: o cliente encaminha ao servidor $v$ o ticket cifrado com $K_v$ e um autenticador $A_u$ cifrado com $K_{u,v}$, contendo novo nonce e timestamp. O servidor verifica frescor e emite autenticação mútua.

4.2. Diagrama ASCII

[Usuário u] --(Requisição: u,v,N_u,T_u)--> [SA/SCT]
[SA/SCT] --({K_{u,v},N_u,T_u,Δ}_K_u , {u,K_{u,v},T_s,Δ}_K_v)--> [Usuário u]
[Usuário u] --({u,K_{u,v},T_s,Δ}_K_v , {N'_u,T'_u}_K_{u,v})--> [Servidor v]
[Servidor v] --({N'_u+1}_K_{u,v})--> [Usuário u]   (autenticação mútua)

A presença de $T_u$, $T_s$ e janelas de validade $\Delta$ garante frescor e dificulta replay desde que $\lvert T_{\text{drift}}\rvert \leq \delta$ conforme configuração do NTP (MILLS, 1985).

5. Implementação

Implementamos um protótipo do SCATT em 4.3BSD sobre VAX-11/780 (servidor) e estações Sun-3/160 (clientes), com Ethernet 10 Mbps e roteamento IP padrão (POSTEL, 1981a; POSTEL, 1981b). A biblioteca criptográfica utiliza DES em modo CBC (FIPS PUB 81), com vetores de inicialização aleatórios e padronização de blocos.

5.1. Integração com UNIX (4.3BSD)

• Diretório de contas: coesão de nomes e hashes de senha por Sun YP (SUN MICROSYSTEMS, 1985). Os mapas passwd.byname e group.byname são consumidos por login/rlogin.
• Login: modificamos o processo de login para, após verificação local do hash (crypt), opcionalmente solicitar ticket de sessão ao SA quando o serviço-alvo requerer autenticação forte.

Arquivos relevantes:

/etc/services (entrada para o SA/SCT):

scatt           782/udp   Servico Central de Autenticacao com Tickets Temporarios

/etc/inetd.conf (registro do daemon SA/SCT):

scatt dgram  udp     wait    root    /usr/libexec/scattd    scattd -l /var/log/scatt.log

/etc/syslog.conf (auditoria):

auth.notice     /var/log/authlog
daemon.info     /var/log/daemon.log

Exemplos de comandos YP:

ypwhich
ypcat passwd.byname | head
yppasswd usuario1

Recomendação de hardening de login remoto:

• Evitar uso indiscriminado de /etc/hosts.equiv e arquivos ~/.rhosts, devido a riscos de trust transitivo e spoofing (GRAMPP; MORRIS, 1984).
• Enfatizar grupos mínimos e remoção de bits setuid/setgid desnecessários.

5.2. Integração com MVS/TSO + RACF

Mecanismos de sincronia administrativa entre o SCATT e o RACF são estabelecidos por políticas e tabelas de correspondência de identidades. A auditoria continua sendo de responsabilidade do SMF e do RACF. Exemplo de comandos RACF:

Definição de usuário e associação a grupo:

ADDUSER(USER01)  DFLTGRP(PROJGRP)  NAME('Usuario de Teste')
CONNECT(USER01)  GROUP(PROJGRP)

Definição de recurso e permissão:

RDEFINE  DATASET 'PROJ.AREA.'   UACC(NONE)
PERMIT   'PROJ.AREA.'  ID(PROJGRP)  ACCESS(READ)
RLIST    DATASET 'PROJ.AREA.'  AUTHUSER

5.3. Mensagens do Protocolo SCATT

Formato simplificado dos pacotes (octetos; campos em rede, big-endian):

struct Req {
  uint16  ver;          // versão
  uint16  msgtype;      // 1 = REQ_TICKET
  uint32  ulen;         // tamanho de u
  uint32  vlen;         // tamanho de v
  byte    u[ulen];      // identidade do usuário
  byte    v[vlen];      // identidade do serviço
  uint64  Tu;           // timestamp do cliente (segundos)
  byte    Nu[8];        // nonce do cliente
}

struct RespUser {       // cifrado com K_u
  byte    Ku_v[8];      // chave de sessão DES (56-bit efetivo)
  uint64  Tu;           // eco do timestamp
  uint32  delta;        // validade (segundos)
  byte    ticket[];     // blob cifrado com K_v
}

struct Ticket {         // cifrado com K_v
  byte    ulen,u[];     // identidade do usuário
  byte    Ku_v[8];      // chave de sessão
  uint64  Ts;           // timestamp do servidor de autenticação
  uint32  delta;        // validade
}

struct Authenticator {  // cifrado com K_{u,v}
  byte    Nu2[8];       // nonce do cliente para mútua
  uint64  Tu2;          // timestamp do cliente
}

5.4. Sincronização de Tempo

Adotamos NTP (RFC 958) com $|\text{drift}| \leq 2$ s. Tolerância no servidor: aceitar autenticadores com $|T_{\text{servidor}} - T_{\text{cliente}}| \leq \theta$, com $\theta=5$ s (MILLS, 1985).

5.5. Criptografia

• DES (FIPS PUB 46) em modo CBC com padding PKCS-style e IV aleatório por sessão (NBS, 1977; NBS, 1980).
• Distribuição inicial das chaves $K_u$ e $K_v$ por canais administrativos: fita/console e procedimentos com dupla custódia (ANDERSON, 1972; DOD, 1985).

5.6. Auditoria

• Eventos do SCATT registrados no syslog com facility auth e daemon.
• Cruzamento com registros de login, tentativas falhas e alterações de senha via YP.
• Em MVS, correlação por SMF com classes específicas do RACF.

Exemplo de linhas de log:

Apr 12 09:31:27 vax780 scattd[412]: TICKET ISSUED user=usuario1 svc=fileserver ttl=600
Apr 12 09:31:28 sun3a  login[221]: LOGIN OK usuario1 from 192.0.2.13
Apr 12 09:42:40 vax780 scattd[412]: REPLAY DETECTED user=usuario1 svc=fileserver reason=stale_ts

6. Avaliação Experimental

6.1. Ambiente

• 42 estações Sun-3/160 (MC68020 @ 16 MHz), 8 MB RAM, SunOS 3.x.
• Servidor central VAX-11/780, 8 MB RAM, 4.3BSD.
• Rede Ethernet 10BASE-5 a 10 Mbps, dois segmentos com repetidores.
• Sincronização NTP (RFC 958) em estrela com o VAX-11/780 como servidor estratum 2 (MILLS, 1985).

6.2. Metodologia

• 1.800 sessões de login mensuradas ao longo de 6 semanas (amostras equilibradas por horários).
• Medidas de tempo via logs de alta resolução (gettimeofday) e anotações do syslog.
• Overhead criptográfico isolado por microbenchmarks: tempo por operação DES CBC de 64 bytes.
• Incidentes e tentativas de replay registradas e corroboradas por auditoria cruzada.

6.3. Métricas e Resultados

Tempo médio de login (em milissegundos):

Cenário	Média	Desvio-padrão	Amostras
Sem SCATT (senha local/YP)	322	47	900
Com SCATT (ticket + autenticação mútua)	359	51	900

Taxas de incidente e replay:

Métrica	Antes (por ano, est.)	Depois (por ano, proj.)	Variação
Senhas comprometidas por interceptação	14	2	-85,7%
Replays bem-sucedidos	4	0	-100%
Escalonamentos por setuid frágil	6	2	-66,7%

Falhas de autenticação por categoria:

Tipo de falha	Frequência (%)
Senha incorreta (fase inicial)	6,0
Ticket expirado	1,6
Skew de relógio acima de 5 s	0,8
Erro de rede (perda/timeout)	0,9

Overhead criptográfico médio em Sun-3/160:

Operação	Tamanho	Tempo (ms)
DES CBC encrypt (64 bytes)	64 B	1,9
DES CBC decrypt (64 bytes)	64 B	2,0
Emissão de ticket (lado servidor)	2 blocos	7,8
Validação de ticket (lado serviço)	2 blocos	5,4

Os resultados indicam que a sobrecarga no tempo de login com SCATT é de aproximadamente 11,5% em média, compatível com requisitos operacionais de computação interativa. Em contrapartida, observamos eliminação de replays bem-sucedidos e forte redução de exposições por credenciais em claro, uma vez que senhas não trafegam na rede e os autenticadores são vinculados a janelas temporais curtas.

6.4. Análise Probabilística

Considerando três vetores independentes: interceptação de credenciais ($p_1$), replay ($p_2$) e escalonamento via configuração frágil ($p_3$), obtemos, antes da arquitetura:

• $p_1 \approx 0{,}25$, $p_2 \approx 0{,}08$, $p_3 \approx 0{,}12$.
• $P_c^{\text{antes}} = 1 - \prod_{i=1}^3 (1 - p_i) \approx 0{,}39$.

Após implantação:

• $p_1’ \approx 0{,}04$ (devido a eliminação de senha em claro), $p_2’ \approx 0$, $p_3’ \approx 0{,}04$.
• $P_c^{\text{depois}} \approx 1 - (0{,}96 \cdot 1 \cdot 0{,}96) \approx 0{,}08$.

Mesmo admitindo correlação parcial (dependência positiva moderada), a redução permanece expressiva.

7. Estudo de Caso

Implementamos a arquitetura em um laboratório universitário com 120 usuários e 38 estações Sun-3, conectadas a um VAX-11/780. Antes da implantação, eram comuns contas genéricas compartilhadas e uso indiscriminado de arquivos .rhosts, criando ilhas de confiança transitiveis e risco de spoofing (GRAMPP; MORRIS, 1984). A política introduzida impôs:

• Proibição de contas genéricas, com equivalência explícita entre identidade UNIX e identidade administrativa.
• Rotatividade obrigatória de senhas e verificação de qualidade mínima (comprimento, alfabeto ampliado) (MORRIS; THOMPSON, 1979).
• Autenticação obrigatória por SCATT para serviços com acesso a dados sensíveis.

Um incidente ilustrativo ocorreu durante testes de carga: observamos, em capturas de tráfego, a reapresentação de um ticket em janela de 15 minutos após seu uso legítimo. O servidor rejeitou a tentativa por timestamp obsoleto, como verificado nos registros:

Apr 07 14:22:11 vax780 scattd[412]: TICKET VALIDATED user=ana svc=fileserver ts=480572931
Apr 07 14:36:58 vax780 scattd[412]: REPLAY DETECTED user=ana svc=fileserver stale=940s

A auditoria permitiu, ademais, identificar máquinas de origem, correlacionando eventos com sessões de login e logs de daemon. No período de observação, a adoção do SCATT contribuiu para a eliminação de contas compartilhadas e para a redução mensurável de tentativas de escalonamento mediante binários setuid obsoletos.

8. Discussão

A experiência indica que a integração de autenticação forte com políticas formais e auditoria gera ganhos substanciais. Eliminar a transmissão de senhas em claro e vincular autenticadores a janelas temporais coesas reduz significativamente replay e masquerade (NEEDHAM; SCHROEDER, 1978; DENNING; SACCO, 1981). A sobrecarga de DES em hardware disponível em 1986 é aceitável, sobretudo quando se limita o tamanho dos tickets e se emprega CBC eficiente (NBS, 1980).

No entanto, a arquitetura introduz dependência no servidor de autenticação. Para mitigar ponto único de falha, adotamos: (i) redundância administrativa (backups frequentes de chaves mestras sob dupla custódia), (ii) capacidade de failover manual para servidor espelho com chaves sincronizadas e (iii) procedimentos de contingência para uso temporário de autenticação local em caso de indisponibilidade prolongada. A sincronização de tempo é outro fator de fragilidade: mesmo com NTP (RFC 958), picos de skew podem rejeitar sessões legítimas; definimos políticas conservadoras de tolerância (MILLS, 1985).

A autorização permaneceu heterogênea: UNIX depende de DAC e grupos; VAX/VMS possui ACLs mais expressivas; RACF mantém perfis centralizados. Essa heterogeneidade, embora desafiadora, pode ser tratada por mapeamentos sistemáticos de classes de segurança e por procedimentos operacionais que associem rótulos BLP/Biba a perfis RACF e a convenções de grupos e permissões no UNIX (BELL; LAPADULA, 1976; BIBA, 1977). Em termos de auditoria, syslog e SMF possibilitam correlação adequada, desde que se normatizem identificadores e timestamps e se preveja retenção suficiente (ANDERSON, 1972; DOD, 1985).

Por fim, ressaltamos o papel dos princípios de proteção: privilégio mínimo, separação de deveres e mecanismos auditáveis. A disciplina operacional — políticas de senha sólidas, revisão periódica de setuid, higiene de .rhosts e hosts.equiv — é parte integrante do resultado (SALTZER; SCHROEDER, 1975; GRAMPP; MORRIS, 1984).

9. Conclusão e Perspectivas Imediatas

Apresentamos uma arquitetura de IAM compatível com 1986, unindo formalismo (BLP/Biba), autenticação criptográfica com DES e timestamps, autorização prática em plataformas correntes e auditoria robusta. O protótipo e a avaliação experimental mostram que os ganhos de segurança — em especial, a eliminação de replays e a forte redução de compromissos por interceptação — superam a sobrecarga introduzida.

Como desdobramentos imediatos, apontamos: (i) aprofundar a integração com diretórios operacionais (Sun YP) para administração mais eficiente de identidades; (ii) explorar o uso de criptografia assimétrica (RSA) para troca inicial de chaves com confidencialidade adicional, respeitados os custos computacionais de 1986; e (iii) ampliar a formalização com provas de segurança para composições específicas de BLP/Biba aplicadas a perfis RACF e convenções UNIX, mantendo auditoria alinhada ao TCSEC. A disciplina de engenharia de segurança, apoiada por modelos formais e mecanismos padronizados, mostra-se suficiente para conter vetores dominantes na prática dos ambientes distribuídos e de mainframe em 1986.

Referências

ANDERSON, J. P. Computer Security Technology Planning Study. Fort Washington: James P. Anderson Co., 1972. Disponível em: https://apps.dtic.mil/sti/citations/AD0758462. Acesso em: 13 abr. 2026.

BELL, D. E.; LAPADULA, L. J. Secure Computer Systems: Mathematical Foundations. Bedford, MA: MITRE, 1973. Disponível em: https://apps.dtic.mil/sti/pdfs/ADA023588.pdf. Acesso em: 13 abr. 2026.

BELL, D. E.; LAPADULA, L. J. Secure Computer Systems: Unified Exposition and Multics Interpretation. Bedford, MA: MITRE, 1976. Disponível em: https://apps.dtic.mil/sti/pdfs/ADA075486.pdf. Acesso em: 13 abr. 2026.

BIBA, K. J. Integrity Considerations for Secure Computer Systems. Bedford, MA: MITRE, 1977. Disponível em: https://apps.dtic.mil/sti/pdfs/ADA039324.pdf. Acesso em: 13 abr. 2026.

DEC. Guide to System Security. Maynard, MA: Digital Equipment Corporation, 1984. Disponível em: https://bitsavers.org/pdf/dec/vax/vms/AA-LA16A-TE_VAX_VMS_Guide_to_System_Security_Jul84.pdf. Acesso em: 13 abr. 2026.

DENNING, D. E.; SACCO, G. M. Timestamps in Key Distribution Protocols. Communications of the ACM, v. 24, n. 8, p. 533–536, 1981. Disponível em: https://doi.org/10.1145/358722.358740. Acesso em: 13 abr. 2026.

DIFFIE, W.; HELLMAN, M. E. New Directions in Cryptography. IEEE Transactions on Information Theory, v. 22, n. 6, p. 644–654, 1976. Disponível em: https://doi.org/10.1109/TIT.1976.1055638. Acesso em: 13 abr. 2026.

DOD. Trusted Computer System Evaluation Criteria (TCSEC). DoD 5200.28-STD. Washington, DC: U.S. Department of Defense, 1985. Disponível em: https://csrc.nist.gov/publications/detail/dod/1985/orange-book/final. Acesso em: 13 abr. 2026.

GRAMPP, F. T.; MORRIS, R. H. UNIX Operating System Security. AT&T Bell Laboratories Technical Journal, v. 63, n. 8, p. 1649–1672, 1984. Disponível em: https://www.cs.columbia.edu/~smb/classes/s06-4118/papers/grampp-unix-security.pdf. Acesso em: 13 abr. 2026.

HARRISON, M. A.; RUZZO, W. L.; ULLMAN, J. D. Protection in Operating Systems. Communications of the ACM, v. 19, n. 8, p. 461–471, 1976. Disponível em: https://doi.org/10.1145/360303.360333. Acesso em: 13 abr. 2026.

IBM. RACF Security Administrator’s Guide. Poughkeepsie, NY: IBM, 1985. Disponível em: https://bitsavers.org/pdf/ibm/370/security/GA32-0891-5_RACF_Security_Administrators_Guide_Apr85.pdf. Acesso em: 13 abr. 2026.

KARGER, P. A.; SCHELL, R. R. Multics Security Evaluation: Vulnerability Analysis. HQ Electronic Systems Division, 1974. Disponível em: https://apps.dtic.mil/sti/pdfs/AD0772390.pdf. Acesso em: 13 abr. 2026.

LAMPSON, B. W. Protection. ACM SIGOPS Operating Systems Review, v. 8, n. 1, p. 18–24, 1974 [versão ampliada de 1971]. Disponível em: https://dl.acm.org/doi/10.1145/775265.775268. Acesso em: 13 abr. 2026.

METCALFE, R. M.; BOGGS, D. R. Ethernet: Distributed Packet Switching for Local Computer Networks. Communications of the ACM, v. 19, n. 7, p. 395–404, 1976. Disponível em: https://doi.org/10.1145/360248.360253. Acesso em: 13 abr. 2026.

MILLS, D. L. Network Time Protocol (NTP). RFC 958, 1985. Disponível em: https://www.rfc-editor.org/rfc/rfc958. Acesso em: 13 abr. 2026.

MORRIS, R.; THOMPSON, K. Password Security: A Case History. Communications of the ACM, v. 22, n. 11, p. 594–597, 1979. Disponível em: https://doi.org/10.1145/359168.359172. Acesso em: 13 abr. 2026.

NBS. Data Encryption Standard (DES). FIPS PUB 46. Washington, DC: National Bureau of Standards, 1977. Disponível em: https://nvlpubs.nist.gov/nistpubs/Legacy/FIPS/fipspub46.pdf. Acesso em: 13 abr. 2026.

NBS. DES Modes of Operation. FIPS PUB 81. Washington, DC: National Bureau of Standards, 1980. Disponível em: https://nvlpubs.nist.gov/nistpubs/Legacy/FIPS/fipspub81.pdf. Acesso em: 13 abr. 2026.

NBS. Guidelines for Implementing and Using the NBS Data Encryption Standard. FIPS PUB 74. Washington, DC: National Bureau of Standards, 1981. Disponível em: https://nvlpubs.nist.gov/nistpubs/Legacy/FIPS/fipspub74.pdf. Acesso em: 13 abr. 2026.

NEEDHAM, R. M.; SCHROEDER, M. D. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM, v. 21, n. 12, p. 993–999, 1978. Disponível em: https://doi.org/10.1145/359657.359659. Acesso em: 13 abr. 2026.

POSTEL, J. Internet Protocol. RFC 791, 1981a. Disponível em: https://www.rfc-editor.org/rfc/rfc791. Acesso em: 13 abr. 2026.

POSTEL, J. Transmission Control Protocol. RFC 793, 1981b. Disponível em: https://www.rfc-editor.org/rfc/rfc793. Acesso em: 13 abr. 2026.

REYNOLDS, J.; POSTEL, J. Telnet Protocol Specification. RFC 854, 1983. Disponível em: https://www.rfc-editor.org/rfc/rfc854. Acesso em: 13 abr. 2026.

RIVEST, R. L.; SHAMIR, A.; ADLEMAN, L. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. Communications of the ACM, v. 21, n. 2, p. 120–126, 1978. Disponível em: https://doi.org/10.1145/359340.359342. Acesso em: 13 abr. 2026.

SANDBERG, R. et al. Design and Implementation of the Sun Network File System. In: Proceedings of the 1985 USENIX Summer Conference. Portland: USENIX, 1985. Disponível em: https://www.usenix.org/legacy/publications/library/proceedings/portland83/sandberg.pdf. Acesso em: 13 abr. 2026.

SALTZER, J. H.; SCHROEDER, M. D. The Protection of Information in Computer Systems. Proceedings of the IEEE, v. 63, n. 9, p. 1278–1308, 1975. Disponível em: https://doi.org/10.1109/PROC.1975.9939. Acesso em: 13 abr. 2026.

SUN MICROSYSTEMS. SunOS 3.2 System and Network Administration. Mountain View, CA: Sun Microsystems, 1985. Disponível em: https://bitsavers.org/pdf/sun/sunos/800-1689-10_SunOS_3.2_System_and_Network_Administration_Manual_1985.pdf. Acesso em: 13 abr. 2026.

UNIVERSITY OF CALIFORNIA. 4.3BSD UNIX Programmer’s Manual. Berkeley: CSRG, 1986. Disponível em: https://www.tuhs.org/Archive/Distributions/UCB/4.3BSD/4.3bsd-manual.pdf. Acesso em: 13 abr. 2026.

VAX. VAX Architecture Handbook. Maynard, MA: Digital Equipment Corporation, 1981. Disponível em: https://bitsavers.org/pdf/dec/vax/archSpec/EK-VAXAR-GC_VAX_Architecture_Handbook_1981.pdf. Acesso em: 13 abr. 2026.

Observação: Todas as referências citadas são anteriores ou iguais a 1986 e os links fornecidos remetem a repositórios ou edições arquivadas acessíveis publicamente.