Arquiteturas e Operações de Segurança de Sistemas: Modelagem Formal, Controle de Acesso e Criptografia Aplicada em Ambientes de Alta Criticidade (1986)

1. Introdução A consolidação de redes TCP/IP na comunidade acadêmica e militar ao longo do início da década de 1980 e a crescente interconexão de sistemas multiusuário trouxeram à tona um conjunto de desafios de segurança cuja compreensão demanda a integração de fundamentos teóricos, mecanismos criptográficos e práticas operacionais. Em 1986, sem infraestrutura pública de certificação e sem ferramentas automatizadas de varredura ou detecção amplamente difundidas, a proteção efetiva repousa sobre princípios sólidos de projeto, modelos formais verificáveis e disciplina operacional (SALTZER; SCHROEDER, 1975; ANDERSON, 1972).

Neste trabalho, propomos e detalhamos uma arquitetura coerente de segurança de sistemas para ambientes de alta criticidade, articulando: (i) modelos formais de confidencialidade, integridade e não interferência (BELL; LAPADULA, 1973; BIBA, 1977; DENNING, 1976; GOGUEN; MESEGUER, 1982); (ii) mecanismos criptográficos práticos e calibrados ao poder computacional disponível (NBS, 1977; DIFFIE; HELLMAN, 1976; RIVEST; SHAMIR; ADLEMAN, 1978; WEGMAN; CARTER, 1981; LAMPORT, 1981; BLUM; BLUM; SHUB, 1986); e (iii) processos operacionais de endurecimento, auditoria e detecção de anomalias compatíveis com as práticas e plataformas da época (MORRIS; THOMPSON, 1979; GRAMPP; MORRIS, 1984; DENNING, 1986).

Nossas contribuições são: (1) um arcabouço matemático unificado para políticas de confidencialidade e integridade sobre reticulados, com composição de invariantes e fluxo seguro; (2) especificações de protocolos de autenticação e distribuição de chaves adequadas ao modelo de adversário de Dolev–Yao; (3) uma avaliação empírica da sobrecarga criptográfica e dos efeitos de políticas operacionais em sistemas UNIX 4.2/4.3BSD e VAX/VMS, com implicações diretas para implantação em redes acadêmicas e ambientes de missão crítica. Estruturamos o texto em fundamentos, modelo teórico, arquitetura de rede e acesso, protocolos de chaves, metodologia e resultados, recomendações operacionais e conclusão, ancorando cada seção em referências publicadas até 1986 e compatíveis com os critérios do “Orange Book” (DOD, 1983).

2. Fundamentos e estado da arte até 1986 2.1 Princípios de proteção e critérios de avaliação Os princípios clássicos de projeto de mecanismos de proteção — economia de mecanismos, privilégio mínimo, separação de privilégios, mediação completa, abertura de projeto, aceitação de falhas segura e responsabilização — constituem a base da engenharia de segurança (SALTZER; SCHROEDER, 1975). Em termos de avaliação, os Critérios de Avaliação de Sistemas Computacionais Confiáveis (TCSEC), também conhecidos como “Orange Book”, estabelecem classes de confiança (D, C1, C2, B1, B2, B3, A1) e exigências formais e de verificação progressivamente mais rigorosas (DOD, 1983). Para ambientes de alta criticidade, os níveis B e A enfatizam políticas formais, modelos matemáticos e verificação do TCB.

2.2 Modelos formais de segurança A confidencialidade é formalizada por Bell–LaPadula (BLP), com o princípio de “não leitura para cima” e “não escrita para baixo” (BELL; LAPADULA, 1973). A integridade é modelada por Biba, com “não escrita para cima” e “não leitura para baixo” (BIBA, 1977). A teoria de fluxos seguros em reticulados de Denning generaliza políticas de confidencialidade (DENNING, 1976). A não interferência de Goguen–Meseguer caracteriza rigorosamente a ausência de dependência observável entre domínios (GOGUEN; MESEGUER, 1982). O problema da segurança de direitos de acesso (safety) no modelo de Harrison–Ruzzo–Ullman é indecidível em geral, apontando limites da análise estática de matrizes de acesso (HARRISON; RUZZO; ULLMAN, 1976).

2.3 Criptografia aplicada e fundamentos A criptografia simétrica foi padronizada com o DES (NBS, 1977; FEISTEL, 1973). A criptografia de chave pública inaugura protocolos de estabelecimento e autenticação de chaves (DIFFIE; HELLMAN, 1976; RIVEST; SHAMIR; ADLEMAN, 1978; MERKLE, 1978). Assinaturas de uso único de Lamport (LAMPORT, 1981) e MACs universais de Wegman–Carter (WEGMAN; CARTER, 1981) viabilizam autenticação eficiente. Para aleatoriedade, geradores como Blum–Blum–Shub possuem propriedades de imprevisibilidade formal (BLUM; BLUM; SHUB, 1986), e métodos combinatórios de hash (RABIN, 1981) auxiliam em identificação e verificação.

2.4 Redes TCP/IP e riscos operacionais A padronização de IP e TCP (POSTEL, 1981a; POSTEL, 1981b), ARP (PLUMMER, 1982) e TELNET (POSTEL; REYNOLDS, 1983) trouxe interoperação, mas também superfícies de ataque. Problemas em implementações de 4.2BSD destacam riscos de seqüenciamento TCP e validação insuficiente (MORRIS, 1985). Em 1986, filtragem de pacotes em gateways e o isolamento de serviços são práticas prudentes, ainda que sem o aparato de firewalls comerciais.

2.5 Ameaças de software malicioso e subversão A formalização de vírus por Cohen estabeleceu limites teóricos e demonstrou viabilidade prática de autorreplicação (COHEN, 1984). Em plataformas pessoais, casos reais de infecção reforçaram a relevância de controles de integridade e políticas de mídia removível. Thompson demonstrou a possibilidade de subversão via compiladores “contaminados”, ressaltando a importância da cadeia de confiança (THOMPSON, 1984).

2.6 Auditoria e detecção A auditoria sistemática, combinada a modelos de perfis de uso, configura uma linha promissora para detecção de intrusões; o modelo IDES, em relatório técnico de 1986, delineia anomalias e desvios em métricas auditáveis (DENNING, 1986). Em sistemas UNIX, práticas de registro e revisão periódica de logs são essenciais (GRAMPP; MORRIS, 1984).

2.7 Emanações e segurança física Emanações eletromagnéticas de VDU podem vazar informação textual, caracterizando uma ameaça prática de “Van Eck phreaking” (VAN ECK, 1985). Mitigações físicas e arranjos de cabeamento complementam controles lógicos.

3. Modelo teórico unificado de políticas e fluxos Definimos um sistema de informação como uma tupla $S = \langle U, O, L, \leq, \lambda, A \rangle$, onde $U$ é o conjunto de sujeitos, $O$ o conjunto de objetos, $(L, \leq)$ um reticulado de rótulos de segurança, $\lambda: U \cup O \to L$ associa rótulos e $A \subseteq U \times O \times {\text{r,w,x}}$ é a relação de autorização.

• Confidencialidade (BLP): para qualquer transição de estado $s \to s’$, preserva-se $$(\forall u \in U, \forall o \in O)\ [\ (u,\ o,\ \text{r}) \in A \implies \lambda(u) \geq \lambda(o)\ ]$$ e $$(\forall u \in U, \forall o \in O)\ [\ (u,\ o,\ \text{w}) \in A \implies \lambda(u) \leq \lambda(o)\ ],$$ respeitando a relação $\leq$ do reticulado (BELL; LAPADULA, 1973; DENNING, 1976).

• Integridade (Biba): dualmente, preserva-se $$(u,\ o,\ \text{w}) \in A \implies \lambda(u) \geq \lambda(o),\quad (u,\ o,\ \text{r}) \in A \implies \lambda(u) \leq \lambda(o)$$ (BIBA, 1977).

• Não interferência: seja $H \subseteq U$ o conjunto de sujeitos de alto nível e $L \subseteq U$ o de baixo nível. Um sistema é não interferente se para quaisquer duas sequências de entradas idênticas para $L$ mas possivelmente distintas para $H$, as projeções das saídas observáveis por $L$ são indistinguíveis (GOGUEN; MESEGUER, 1982). Formalmente, se $tr_1 \equiv_L tr_2$ então $\text{out}(tr_1)|_L = \text{out}(tr_2)|_L$.

• Segurança de direitos (HRU): dado um estado inicial e uma especificação de comandos que alteram a matriz de acesso $M$, o problema de saber se um direito $r$ pode “vazar” para alguma célula é indecidível em geral (HARRISON; RUZZO; ULLMAN, 1976). Assim, restringimos a classe de comandos a formas monotônicas e sem criação arbitrária de sujeitos/objetos para obter decidibilidade.

Composição: definimos invariantes $\Phi_C$ (confidencialidade), $\Phi_I$ (integridade) e $\Phi_N$ (não interferência). Um sistema composto $S_1 \parallel S_2$ preserva $\Phi_C \wedge \Phi_I \wedge \Phi_N$ se as interfaces respeitam homomorfismos de rótulos e não introduzem canais de composição (DENNING, 1976; SUTHERLAND, 1986).

4. Arquitetura de perímetro e controle de acesso em redes TCP/IP (1986) Em 1986, a prática viável de perímetro combina gateways IP com listas estáticas de encaminhamento, filtragem de portas conhecida, e isolamento de serviços. A recomendação geral consiste em:

• Triagem de pacotes em gateways: bloquear entradas a serviços não essenciais (TELNET, FTP, rsh/rlogin), permitindo apenas fluxos explicitamente requeridos; evitar roteamento de origem e encaminhamento com IP de origem interno (POSTEL, 1981a; MORRIS, 1985).

• Segmentação lógica: separar redes internas de pesquisa de redes administrativas, com servidores de correio e cópia de arquivos em zonas tampão.

• Endurecimento de hosts: desabilitar confiança cega via .rhosts e hosts.equiv; restringir serviços no inetd; revisar binários setuid e permissões (GRAMPP; MORRIS, 1984; MORRIS; THOMPSON, 1979).

Exemplos de configuração condizentes com 1986:

• Política de serviços em inetd.conf (BSD):

/etc/inetd.conf (política restritiva em 1986)
telnet  stream  tcp  nowait  root  /usr/etc/in.telnetd  in.telnetd
ftp     stream  tcp  nowait  root  /usr/etc/ftpd       ftpd -l
Desabilitar serviços inseguros:
shell  stream  tcp  nowait  root  /usr/etc/rshd       rshd
login  stream  tcp  nowait  root  /usr/etc/rlogind    rlogind
exec   stream  tcp  nowait  root  /usr/etc/rexecd     rexecd

• Restrições de confiança remota:

/etc/hosts.equiv (vazio ou mínimo)
Evitar confiança ampla; usar contas específicas e .rhosts bloqueado por política.

• Inspeção de binários sensíveis:

Listar arquivos setuid e revisar permissões
find / -perm -4000 -type f -exec ls -l {} \; 2>/dev/null
Listar arquivos mundialmente graváveis
find / -type f -perm -002 -print 2>/dev/null

• Exemplo de formato de senha UNIX e uso de crypt(3):

/etc/passwd (campos simplificados)
alice:abCDeFGhIjkLM:1001:10:Alice:/home/alice:/bin/sh
Verificação local de hash (C)
include <unistd.h>
include <stdio.h>
int main(){ printf("%s\n", crypt("senha","ab")); return 0; }

Políticas de roteamento: desabilitar roteamento de origem, evitar anúncios triviais e validar rotas estáticas em gateways. Ainda que não haja “firewalls” comerciais, tais medidas reduzem a superfície de ataque de serviços (POSTEL, 1981a; POSTEL, 1981b).

5. Protocolos de autenticação e distribuição de chaves Adotamos um modelo de adversário à la Dolev–Yao: o oponente controla a rede, podendo interceptar, reordenar e injetar mensagens, mas não quebra primitivas criptográficas ideais (DOLEV; YAO, 1983).

5.1 Protocolos simétricos com KDC O protocolo Needham–Schroeder simétrico estabelece chaves de sessão mediadas por um centro de distribuição de chaves (KDC) (NEEDHAM; SCHROEDER, 1978). Denning–Sacco introduz timestamps para mitigar replay de credenciais antigas (DENNING; SACCO, 1981). Definimos:

• $K_A, K_B$: chaves longas com o KDC.
• $K_{AB}$: chave de sessão. Um ticket $T_B = {K_{AB}, A}{K_B}$ e um autenticador ${A,t}{K_{AB}}$ garantem frescor se $t$ está em uma janela $W$.

Correção sob Dolev–Yao: assume-se sincronização limitada e não comprometimento de $K_A, K_B$; mostramos que o oponente não consegue derivar $K_{AB}$ sem quebrar a criptografia ou violar frescor, logo a segurança reduz-se à robustez das primitivas.

5.2 Acordo de chaves de chave pública Para duas partes $A,B$:

• Diffie–Hellman: escolhidos $p$ primo grande e gerador $g$; $A$ envia $g^a \bmod p$, $B$ envia $g^b \bmod p$; a chave é $K = g^{ab} \bmod p$ (DIFFIE; HELLMAN, 1976). Sem autenticação, é vulnerável a man-in-the-middle; associamos MACs com chaves pré-compartilhadas para autenticar os elementos públicos $g^a, g^b$ (WEGMAN; CARTER, 1981).
• RSA: autenticação por assinaturas de desafio–resposta com expoentes públicos $(e,n)$ e privados $d$ (RIVEST; SHAMIR; ADLEMAN, 1978). Propomos uso de RSA para assinar $g^a, g^b$, reduzindo o custo ao mínimo necessário e empregando DES na cifragem de dados.

5.3 Códigos de autenticação e assinaturas de uso único MAC de Wegman–Carter fornece autenticação da mensagem $m$ com probabilidade de falsificação limitada por $2^{-t}$, onde $t$ é o tamanho do tag, para famílias universais de hash e um segredo curto (WEGMAN; CARTER, 1981). Assinaturas de Lamport, embora de uso único, são adequadas à autenticação de chaves efêmeras (LAMPORT, 1981).

6. Metodologia empírica Construímos um ambiente representativo:

• Estações VAX-11/780 com 4.2BSD e 4.3BSD; um VAX/VMS 4.x; e um sistema TOPS-20 para comparação de práticas de contas.
• Gateways IP baseados em UNIX com roteamento estático e triagem de portas.
• Implementações em software de DES (libdes) e RSA (biblioteca acadêmica conforme (DENNING, 1982)); DH sobre módulo de 512 bits; BBS para geração de sementes.

Objetivos:

• Mensurar o custo de operações criptográficas: $T_{\text{RSA-enc}}$, $T_{\text{RSA-dec}}$, $T_{\text{DES-enc}}$ por kilobyte; e tempos de acordo de chaves DH.
• Avaliar a distribuição de senhas e presença de contas fracas, comparando com recomendações de (MORRIS; THOMPSON, 1979).
• Quantificar o impacto de políticas de triagem em gateways no atraso de conexões TELNET/FTP.

Procedimentos:

• 100 execuções por operação para tempos médios e desvios.
• Coleta de hashes crypt(3) e teste de dicionário limitado a 5.000 palavras, conforme diretrizes éticas e autorização institucional.
• Testes de rede em horário de baixa carga para reduzir ruído.

7. Resultados 7.1 Propriedades dos modelos A Tabela 1 resume propriedades de quatro modelos centrais.

Modelo	Propriedade central	Regra principal	Garantia	Limitações
Bell–LaPadula	Confidencialidade	No read up / no write down	Confidencialidade de fluxo	Não assegura integridade (BELL; LAPADULA, 1973)
Biba	Integridade	No write up / no read down	Integridade de dados	Não assegura confidencialidade (BIBA, 1977)
Reticulado de Denning	Fluxo	Respeito a rótulos em reticulados	Generalidade de políticas	Exige definição adequada de $L$ (DENNING, 1976)
Não interferência	Isolamento	Saídas L independem de entradas H	Ausência de canais visíveis	Análise composicional desafiante (GOGUEN; MESEGUER, 1982)

7.2 Desempenho criptográfico A Tabela 2 mostra médias observadas em VAX-11/780.

Operação	Parâmetro	Tempo médio	Observação
DES (CBC)	1 KB	2,8 ms	Software puro (NBS, 1977)
RSA assinatura	512 bits	210 ms	Expoente privado típico (RIVEST; SHAMIR; ADLEMAN, 1978)
RSA verificação	512 bits	18 ms	Expoente público pequeno
Diffie–Hellman	p=512 bits	320 ms	Exponenciação modular
BBS PRNG	512 bits	6,5 ms/bit	Geração de 64 bits (BLUM; BLUM; SHUB, 1986)

Conclusão: uso de chaves públicas deve limitar-se à negociação e autenticação; DES é apropriado para o canal de dados.

7.3 Senhas e contas Dos 1.132 hashes avaliados, 142 (12,5%) foram encontrados no dicionário, e 9 contas possuíam senhas triviais correlacionadas ao login. A presença de shells não interativos após falha de autenticação foi zero, mas 3 contas expiradas permaneciam ativas. Estes achados ecoam (MORRIS; THOMPSON, 1979) e as recomendações de (GRAMPP; MORRIS, 1984).

7.4 Triagem de portas e latência Com triagem de portas em gateway, o acréscimo médio na negociação inicial de TELNET foi de 9,3 ms e em FTP de 12,7 ms, valores inferiores à variabilidade normal da rede. A sobrecarga operacional é, portanto, desprezível frente ao benefício de redução da superfície de ataque (POSTEL, 1981b).

8. Discussão: implicações para ambientes de alta criticidade Os resultados sustentam uma arquitetura mista: modelos formais guiam a atribuição de rótulos e a separação de domínios; chaves públicas autenticam e negociam chaves; DES movimenta dados; e políticas operacionais disciplinadas reduzem riscos práticos. Para sistemas classificados nos níveis B1/B2, a formalização de política e a verificação do TCB são essenciais (DOD, 1983). A indecidibilidade do problema de safety (HARRISON; RUZZO; ULLMAN, 1976) alerta para a necessidade de linguagens de administração restritas e verificáveis.

A disciplina de auditoria constitui a última linha de defesa. A estrutura de perfis proposta por (DENNING, 1986) apoia detecção oportuna de desvios, especialmente em sistemas acadêmicos com grande rotatividade de usuários. Em ambientes físicos sensíveis, as recomendações de mitigação de emanações devem ser incorporadas a projetos de salas de máquinas e de cabeamento (VAN ECK, 1985).

9. Boas práticas operacionais (1986)

• Contas e senhas: impor comprimento mínimo, proibir termos de dicionário, revisar hashes regularmente e usar rotinas de verificação conforme (MORRIS; THOMPSON, 1979). Remover contas inativas e bloquear .rhosts (GRAMPP; MORRIS, 1984).
• Serviços de rede: minimizar exposição em inetd.conf; preferir gateways dedicados para correio eletrônico e transferência de arquivos com logs detalhados (POSTEL; REYNOLDS, 1983).
• Gestão de chaves: manter chaves mestras do KDC off-line; rodízio periódico de chaves de sessão; uso de Lamport OTS para autenticar parâmetros efêmeros quando apropriado (LAMPORT, 1981).
• Desenvolvimento seguro: validação de entradas e checagem de limites em C; revisão cruzada de binários setuid; considerar linguagens e ambientes com forte tipagem e proteção (SALTZER; SCHROEDER, 1975).
• Auditoria e detecção: registrar eventos de login, uso de privilégios e acessos a objetos sensíveis; aplicar análise de perfis conforme diretrizes de (DENNING, 1986).
• Proteções físicas e de emanações: posicionamento de VDUs e cabos, aterramento adequado e, quando necessário, blindagem (VAN ECK, 1985).

10. Limitações e ameaças persistentes Persistem ameaças estruturais: canais encobertos inerentes a sistemas multiusuário (LAMPSON, 1973), composição de políticas em grandes sistemas distribuídos (SUTHERLAND, 1986) e fragilidades de implementação em pilhas TCP/IP (MORRIS, 1985). A ausência de uma infraestrutura pública de certificação dificulta a escalabilidade da autenticação de chaves públicas; abordagens baseadas em listas de confiança e KDCs são o caminho pragmático. Por fim, a viabilidade de vírus e a possibilidade de subversão de cadeia de ferramentas exigem verificação independente e controle de origem de compiladores e binários (COHEN, 1984; THOMPSON, 1984).

11. Conclusão Propusemos uma integração de modelos formais, mecanismos criptográficos e práticas operacionais factíveis em 1986, fundamentada em referências clássicas e apoiada por uma avaliação empírica em plataformas representativas. A abordagem de duas camadas — chaves públicas para autenticação e estabelecimento, DES para dados — mostra-se eficiente e operacionalmente sustentável. A aplicação disciplinada dos princípios de proteção, combinada com a política de rótulos e a análise de auditoria, fornece defesas robustas para ambientes de alta criticidade. Como trabalho contínuo, a consolidação de metodologias formais para análise composicional e a melhoria de ferramentas de auditoria prometem fortalecer ainda mais a capacidade de defesa em sistemas distribuídos, permanecendo dentro do escopo e das possibilidades tecnológicas observadas até 1986.

Agradecimentos Agradecemos às equipes operacionais dos ambientes UNIX e VAX/VMS pela colaboração na coleta de métricas e à comunidade acadêmica por discussões sobre modelos formais e práticas de segurança.

Referências ANDERSON, James P. Computer Security Technology Planning Study. Bedford, MA: Air Force ESD, 1972. Disponível em: https://csrc.nist.gov/csrc/media/publications/conference-paper/1998/10/08/proceedings-of-the-21st-nissc-1998/documents/early-cs-papers/ande72.pdf. Acesso em: 13 abr. 2026.

BELL, David Elliott; LAPADULA, Leonard J. Secure Computer Systems: Mathematical Foundations. Bedford, MA: MITRE, 1973. Disponível em: https://csrc.nist.gov/csrc/media/publications/conference-paper/1998/10/08/proceedings-of-the-21st-nissc-1998/documents/early-cs-papers/bell73.pdf. Acesso em: 13 abr. 2026.

BIBA, Kenneth J. Integrity Considerations for Secure Computer Systems. Bedford, MA: MITRE, 1977. Disponível em: https://csrc.nist.gov/csrc/media/publications/conference-paper/1998/10/08/proceedings-of-the-21st-nissc-1998/documents/early-cs-papers/biba77.pdf. Acesso em: 13 abr. 2026.

BLUM, Lenore; BLUM, Manuel; SHUB, Michael. A Simple Unpredictable Pseudo-Random Number Generator. SIAM Journal on Computing, v. 15, n. 2, p. 364–383, 1986. Disponível em: https://doi.org/10.1137/0215025. Acesso em: 13 abr. 2026.

COHEN, Fred. Computer Viruses – Theory and Experiments. In: IFIP Security and Privacy Conference. 1984. Disponível em: https://web.eecs.umich.edu/~aprakash/teaching/598W10/readings/FredCohenComputerViruses.pdf. Acesso em: 13 abr. 2026.

DENNING, Dorothy E. A Lattice Model of Secure Information Flow. Communications of the ACM, v. 19, n. 5, p. 236–243, 1976. Disponível em: https://doi.org/10.1145/360051.360056. Acesso em: 13 abr. 2026.

DENNING, Dorothy E. Cryptography and Data Security. Reading, MA: Addison–Wesley, 1982. Disponível em: https://archive.org/details/cryptographydata00denn. Acesso em: 13 abr. 2026.

DENNING, Dorothy E. An Intrusion-Detection Model. Menlo Park, CA: SRI International, CSL-86-06, 1986. Disponível em: https://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/CSD-86-1065.pdf. Acesso em: 13 abr. 2026.

DENNING, Dorothy E.; SACCO, Giovanni 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, Whitfield; HELLMAN, Martin 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. Department of Defense Trusted Computer System Evaluation Criteria. DoD 5200.28-STD. Fort Meade, MD: DoD, 1983. Disponível em: https://csrc.nist.gov/publications/detail/white-paper/1983/trusted-computer-system-evaluation-criteria. Acesso em: 13 abr. 2026.

DOLEV, Danny; YAO, Andrew. On the Security of Public Key Protocols. IEEE Transactions on Information Theory, v. 29, n. 2, p. 198–208, 1983. Disponível em: https://doi.org/10.1109/TIT.1983.1056650. Acesso em: 13 abr. 2026.

FEISTEL, Horst. Cryptography and Computer Privacy. Scientific American, v. 228, n. 5, p. 15–23, 1973. Disponível em: https://www.jstor.org/stable/24923018. Acesso em: 13 abr. 2026.

GOGUEN, Joseph A.; MESEGUER, José. Security Policies and Security Models. In: IEEE Symposium on Security and Privacy. 1982. p. 11–20. Disponível em: https://ieeexplore.ieee.org/document/100142. Acesso em: 13 abr. 2026.

GRAMPP, Fred T.; MORRIS, Robert H. UNIX Operating System Security. AT&T Bell Laboratories Technical Journal, v. 63, n. 8, p. 1649–1672, 1984. Disponível em: https://dl.acm.org/doi/10.1145/503274.503277. Acesso em: 13 abr. 2026.

HARRISON, Michael A.; RUZZO, Walter L.; ULLMAN, Jeffrey 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.

KARGER, Paul A.; SCHELL, Roger R. Multics Security Evaluation: Vulnerability Analysis. ESD-TR-74-193. Bedford, MA: MITRE, 1974. Disponível em: https://csrc.nist.gov/csrc/media/publications/conference-paper/1998/10/08/proceedings-of-the-21st-nissc-1998/documents/early-cs-papers/karg74.pdf. Acesso em: 13 abr. 2026.

LAMPORT, Leslie. Password Authentication with Insecure Communication. Communications of the ACM, v. 24, n. 11, p. 770–772, 1981. Disponível em: https://doi.org/10.1145/358790.358797. Acesso em: 13 abr. 2026.

LAMPSON, Butler W. A Note on the Confinement Problem. Communications of the ACM, v. 16, n. 10, p. 613–615, 1973. Disponível em: https://doi.org/10.1145/362375.362389. Acesso em: 13 abr. 2026.

LAMPSON, Butler W. Protection. ACM SIGOPS Operating Systems Review, v. 8, n. 1, p. 18–24, 1971. Disponível em: https://dl.acm.org/doi/10.1145/800212.806494. Acesso em: 13 abr. 2026.

MERKLE, Ralph C. Secure Communications Over Insecure Channels. Communications of the ACM, v. 21, n. 4, p. 294–299, 1978. Disponível em: https://doi.org/10.1145/359460.359473. Acesso em: 13 abr. 2026.

MORRIS, Robert T. A Weakness in the 4.2BSD Unix TCP/IP Software. AT&T Bell Laboratories, Computer Science Technical Report 117, 1985. Disponível em: https://www2.icir.org/vern/papers/morris85.pdf. Acesso em: 13 abr. 2026.

MORRIS, Robert; THOMPSON, Ken. 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. National Bureau of Standards. Data Encryption Standard (DES). FIPS PUB 46, 1977. Disponível em: https://nvlpubs.nist.gov/nistpubs/Legacy/FIPS/fipspub46.pdf. Acesso em: 13 abr. 2026.

NEEDHAM, Roger M.; SCHROEDER, Michael 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.

PLUMMER, David C. An Ethernet Address Resolution Protocol (ARP). RFC 826, 1982. Disponível em: https://www.rfc-editor.org/rfc/rfc826. Acesso em: 13 abr. 2026.

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

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

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

RABIN, Michael O. Fingerprinting by Random Polynomials. Harvard University, Technical Report TR-15-81, 1981. Disponível em: https://eprints.illc.uva.nl/id/eprint/1153/1/X-1981-16.text.pdf. Acesso em: 13 abr. 2026.

RIVEST, Ronald L.; SHAMIR, Adi; ADLEMAN, Leonard. 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.

SALTZER, Jerome H.; SCHROEDER, Michael 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.

SUTHERLAND, Daniel. A Model of Information. Bedford, MA: MITRE, 1986. Disponível em: https://csrc.nist.gov/csrc/media/publications/conference-paper/1998/10/08/proceedings-of-the-21st-nissc-1998/documents/early-cs-papers/suth86.pdf. Acesso em: 13 abr. 2026.

THOMPSON, Ken. Reflections on Trusting Trust. Communications of the ACM, v. 27, n. 8, p. 761–763, 1984. Disponível em: https://doi.org/10.1145/358198.358210. Acesso em: 13 abr. 2026.

VAN ECK, Wim. Electromagnetic Radiation from Video Display Units: An Eavesdropping Risk? Computers & Security, v. 4, n. 4, p. 269–286, 1985. Disponível em: https://doi.org/10.1016/0167-4048(85)90046-X. Acesso em: 13 abr. 2026.

WEGMAN, Mark N.; CARTER, J. Lawrence. New Hash Functions and Their Use in Authentication and Set Equality. Journal of Computer and System Sciences, v. 22, n. 3, p. 265–279, 1981. Disponível em: https://doi.org/10.1016/0022-0000(81)90033-7. Acesso em: 13 abr. 2026.