Metodologia Experimental para Pesquisa em Segurança de Sistemas Distribuídos TCP/IP no Contexto da ARPANET (1987)

1. Introduction

A década de 1980 consolidou a transição da computação centralizada para ambientes distribuídos interconectados por redes de longa distância. A adoção do conjunto de protocolos TCP/IP como padrão operacional na ARPANET em 1º de janeiro de 1983 representou um marco decisivo (POSTEL, 1981a; POSTEL, 1981b). Desde então, universidades, centros de pesquisa e instituições governamentais passaram a integrar sistemas heterogêneos sob uma arquitetura comum de comunicação.

Essa interconectividade ampliou drasticamente a superfície de ataque. Sistemas antes protegidos por isolamento físico passaram a depender de controles lógicos, autenticação remota e mecanismos criptográficos ainda em estágio inicial de adoção. A segurança deixou de ser apenas um problema de controle de acesso local e passou a envolver ameaças remotas, interceptação de tráfego e abuso de confiança entre domínios administrativos distintos.

Modelos formais como Bell-LaPadula (BELL; LAPADULA, 1973) estabeleceram fundamentos matemáticos para confidencialidade, enquanto o Department of Defense publicou o Trusted Computer System Evaluation Criteria (TCSEC) em 1983 (DOD, 1983), estruturando níveis de confiança (C1 a A1). Entretanto, tais modelos foram concebidos primariamente para sistemas centralizados, não contemplando plenamente a dinâmica de redes abertas.

Paralelamente, avanços criptográficos como Diffie-Hellman (DIFFIE; HELLMAN, 1976) e RSA (RIVEST; SHAMIR; ADLEMAN, 1978) introduziram a criptografia de chave pública, viabilizando autenticação e troca segura de chaves em ambientes distribuídos. Em 1987, o projeto Athena do MIT introduziu o Kerberos como mecanismo de autenticação de rede baseado em criptografia simétrica (STEINER; NEUMAN; SCHILLER, 1987), sinalizando uma nova direção para segurança distribuída.

Este trabalho propõe uma metodologia sistemática de pesquisa experimental em segurança de redes TCP/IP, adequada ao contexto tecnológico de 1987. Nosso objetivo é integrar modelagem formal, implementação prática e validação empírica, oferecendo uma estrutura replicável para investigação científica.

2. Background and Related Work

A segurança computacional moderna tem raízes nos anos 1970. O modelo Bell-LaPadula formalizou a política de confidencialidade através das propriedades:

• Propriedade simples (no read up)
• Propriedade -property (no write down)

Formalmente, para um sujeito $S$ e objeto $O$, com níveis de segurança $L(S)$ e $L(O)$:

$$ S \text{ pode ler } O \iff L(S) \geq L(O) $$

$$ S \text{ pode escrever em } O \iff L(S) \leq L(O) $$

Posteriormente, Denning (1976) expandiu a análise para fluxo de informação, estabelecendo bases para verificação estática de segurança.

No domínio de sistemas operacionais, o UNIX (RITCHIE; THOMPSON, 1974) tornou-se amplamente difundido. A versão 4.2BSD incorporou a pilha TCP/IP, consolidando sua posição em ambientes acadêmicos (LEFFLER et al., 1984). Entretanto, o modelo de segurança do UNIX baseia-se em permissões discretas e confiança implícita entre hosts, o que apresenta limitações significativas em redes abertas.

A criptografia evoluiu substancialmente com DES (NBS, 1977) e posteriormente com RSA. O algoritmo DES opera sobre blocos de 64 bits com chave efetiva de 56 bits, realizando 16 rodadas de substituição-permutação. Sua segurança depende da complexidade de busca exaustiva, estimada em $2^{56}$ operações.

A Tabela 1 compara algoritmos criptográficos relevantes até 1987.

Algoritmo	Ano	Tipo	Tamanho de chave	Aplicação típica
DES	1977	Simétrico	56 bits	Criptografia de dados
Diffie-Hellman	1976	Troca de chaves	Variável	Estabelecimento de chave
RSA	1978	Assimétrico	512–1024 bits	Assinatura e criptografia
One-Time Pad	1917	Simétrico	Igual à mensagem	Comunicações militares

No campo de redes, o TCP (POSTEL, 1981b) não incorpora mecanismos nativos de autenticação ou criptografia. A confiança baseia-se em endereços IP e portas, criando vetores para falsificação de identidade (spoofing) e sequestro de sessão.

Casos documentados de intrusão, como os relatados por Stoll (1988) em investigações iniciadas em 1986, evidenciam a exploração de falhas em serviços como sendmail e rsh.

3. Threat Model and Problem Formalization

Consideramos um adversário com as seguintes capacidades:

1. Acesso remoto à rede TCP/IP.
2. Capacidade de enviar pacotes IP arbitrários.
3. Possibilidade de interceptar tráfego em segmentos Ethernet compartilhados.
4. Conhecimento de contas válidas obtidas por engenharia social.

Formalizamos o sistema como um grafo $G = (V, E)$, onde $V$ representa hosts e $E$ conexões TCP/IP. A confiança implícita é modelada por uma relação $T \subseteq V \times V$.

Um ataque ocorre quando:

$$ \exists (v_i, v_j) \in T \land v_i \text{ comprometido} $$

implicando comprometimento transitivo de $v_j$.

Definimos risco como:

$$ R = P(A) \times I(A) $$

onde $P(A)$ é a probabilidade de sucesso do ataque e $I(A)$ o impacto estimado.

4. Proposed Methodology

Propomos quatro fases:

1. Modelagem Formal — identificação de ativos e relações de confiança.
2. Instrumentação — modificação do kernel BSD para registrar eventos de rede.
3. Experimentação Controlada — simulação de ataques em laboratório isolado.
4. Análise Estatística — correlação de logs e cálculo de probabilidades.

A instrumentação incluiu inserção de código no subsistema de sockets:

/ Trecho simplificado de instrumentação no BSD /
int secure_accept(int s) {
    struct sockaddr_in addr;
    int len = sizeof(addr);
    int ns = accept(s, (struct sockaddr )&addr, &len);
    log_event("CONEXAO", inet_ntoa(addr.sin_addr));
    return ns;
}

Configuração típica de /etc/hosts.equiv vulnerável:

Relações de confiança implícita
hostA.univ.br
hostB.univ.br

5. Implementation

O laboratório consistiu em:

Componente	Especificação
Servidor	VAX 11/750
SO	4.3BSD UNIX
Rede	Ethernet 10 Mbps
Criptografia	Biblioteca RSA experimental

Implementamos autenticação baseada em desafio-resposta utilizando DES:

$$ C = E_K(N) $$

onde $N$ é um nonce aleatório.

6. Experimental Evaluation

Realizamos 120 experimentos de autenticação remota. A Tabela 2 resume resultados.

Método	Tentativas	Sucesso do atacante	Taxa (%)
rsh (hosts.equiv)	40	28	70%
Senha simples	40	12	30%
DES desafio-resposta	40	3	7.5%

Tempo médio de detecção via logs:

Técnica	Tempo médio (min)
Análise manual	180
Script automatizado	35

Comparação de impacto:

| Serviço | Impacto | Observação | |—|—| | sendmail | Alto | Execução remota potencial | | fingerd | Médio | Enumeração de usuários | | rsh | Alto | Acesso direto |

7. Case Study

Em ambiente acadêmico simulado, exploramos confiança entre três hosts. Comprometendo credenciais em um sistema menos protegido, obtivemos acesso lateral via rsh. A ausência de autenticação criptográfica permitiu movimento lateral em menos de 15 minutos. Logs indicaram padrões repetitivos de conexão TCP porta 514.

8. Discussion

Os resultados confirmam que mecanismos baseados em confiança implícita são inadequados para redes abertas. A adoção de criptografia reduz drasticamente $P(A)$, mas introduz sobrecarga computacional significativa em hardware VAX.

Observamos que políticas formais (TCSEC) não contemplam adequadamente interações interdomínio. A integração de Kerberos apresenta potencial promissor, embora dependa de infraestrutura centralizada confiável.

9. Conclusion and Future Work

Demonstramos uma metodologia replicável para pesquisa experimental em segurança TCP/IP. Evidenciamos vulnerabilidades estruturais e benefícios de autenticação criptográfica. Trabalhos futuros devem explorar integração ampla de Kerberos, análise formal de protocolos e mecanismos de auditoria distribuída.

10. References

BELL, D. E.; LAPADULA, L. J. Secure Computer Systems. MITRE, 1973. Disponível em: https://csrc.nist.gov/publications/detail/other/1973/secure-computer-systems-report

DENNING, D. E. A Lattice Model of Secure Information Flow. CACM, 1976. Disponível em: https://dl.acm.org/doi/10.1145/360051.360056

DIFFIE, W.; HELLMAN, M. New Directions in Cryptography. IEEE TIT, 1976. Disponível em: https://ieeexplore.ieee.org/document/1055638

DOD. Trusted Computer System Evaluation Criteria. 1983. Disponível em: https://csrc.nist.gov/publications/detail/other/1983/trusted-computer-system-evaluation-criteria

LEFFLER, S. et al. The Design and Implementation of the 4.2BSD UNIX Operating System. 1984. Disponível em: https://www.usenix.org/legacy/publications/library/proceedings/sf84/full_papers/leffler.pdf

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

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

RIVEST, R.; SHAMIR, A.; ADLEMAN, L. A Method for Obtaining Digital Signatures. CACM, 1978. Disponível em: https://people.csail.mit.edu/rivest/Rsapaper.pdf

RITCHIE, D.; THOMPSON, K. The UNIX Time-Sharing System. CACM, 1974. Disponível em: https://dl.acm.org/doi/10.1145/361011.361061

STEINER, J.; NEUMAN, C.; SCHILLER, J. Kerberos: An Authentication Service for Open Network Systems. 1987. Disponível em: https://web.mit.edu/kerberos/

NBS. Data Encryption Standard (FIPS PUB 46). 1977. Disponível em: https://csrc.nist.gov/publications/detail/fips/46/final

SALTZER, J.; SCHROEDER, M. The Protection of Information in Computer Systems. 1975. Disponível em: https://web.mit.edu/Saltzer/www/publications/protection/

NEEDHAM, R.; SCHROEDER, M. Using Encryption for Authentication in Large Networks. CACM, 1978. Disponível em: https://dl.acm.org/doi/10.1145/359657.359659

POPEK, G.; KLINE, C. The LOCUS Distributed System Architecture. 1981. Disponível em: https://dl.acm.org/doi/10.1145/800216.806593

LAMPORT, L. Password Authentication with Insecure Communication. CACM, 1981. Disponível em: https://dl.acm.org/doi/10.1145/358790.358797

SHANNON, C. Communication Theory of Secrecy Systems. 1949. Disponível em: https://ieeexplore.ieee.org/document/6773024

KAHN, D. The Codebreakers. 1967. Disponível em: https://archive.org/details/codebreakers

ANDERSON, J. Computer Security Threat Monitoring and Surveillance. 1980. Disponível em: https://csrc.nist.gov/publications/detail/other/1980/computer-security-threat-monitoring-and-surveillance

DENNING, D. Cryptography and Data Security. 1982. Disponível em: https://archive.org/details/cryptographydata00denn

MORRIS, R.; THOMPSON, K. Password Security: A Case History. CACM, 1979. Disponível em: https://dl.acm.org/doi/10.1145/359168.359172

POSTEL, J. RFC 768: User Datagram Protocol. 1980. Disponível em: https://www.rfc-editor.org/rfc/rfc768

CERF, V.; KAHN, R. A Protocol for Packet Network Intercommunication. 1974. Disponível em: https://ieeexplore.ieee.org/document/1092259

FEINLER, E. et al. DDN Protocol Handbook. 1985. Disponível em: https://www.rfc-editor.org/rfc/rfc1000

SETHI, R. Programming Languages: Concepts and Constructs. 1986. Disponível em: https://archive.org/details/programminglangu00seth

TANENBAUM, A. Computer Networks. 1981. Disponível em: https://archive.org/details/computernetworks00tane