Metodologias Práticas de Pesquisa em Segurança de Sistemas Conectados à Internet: Modelagem de Ameaças, Experimentação e Defesa em Ambientes UNIX e TCP/IP no Final da Década de 1980

1. Introduction

A interconexão crescente de sistemas computacionais durante a década de 1980 produziu um novo paradigma operacional: o da computação em rede aberta. Sistemas UNIX instalados em universidades, centros de pesquisa e organizações governamentais passaram a operar como nós em redes amplamente distribuídas baseadas na pilha de protocolos TCP/IP (POSTEL, 1981a; POSTEL, 1981b). Embora tal conectividade tenha ampliado drasticamente a capacidade de colaboração científica e compartilhamento de recursos computacionais, ela também introduziu riscos de segurança que anteriormente eram pouco relevantes em ambientes isolados.

Historicamente, muitos sistemas computacionais foram projetados sob o pressuposto de que os usuários pertenciam a uma comunidade relativamente confiável. Serviços como rsh, rlogin e telnet foram desenvolvidos para facilitar o acesso remoto e a administração distribuída de sistemas. Entretanto, tais serviços frequentemente utilizam mecanismos de autenticação fracos ou baseados em confiança implícita entre máquinas, o que pode ser explorado por agentes maliciosos. A suposição de confiança entre hosts tornou-se particularmente problemática com a expansão da ARPANET e o surgimento de redes regionais interconectadas.

O incidente do worm de 1988 demonstrou de forma contundente a fragilidade dessa infraestrutura. O programa explorava vulnerabilidades conhecidas em serviços como sendmail e fingerd, além de utilizar técnicas de adivinhação de senhas para comprometer sistemas adicionais (SPAFFORD, 1989; EICHIN; ROCHLIS, 1989). O resultado foi uma rápida propagação que afetou milhares de sistemas UNIX, causando sobrecarga de recursos e interrupções operacionais significativas.

Esse evento marcou um ponto de inflexão na percepção da segurança de redes. Até então, a pesquisa na área estava fortemente associada a modelos formais de controle de acesso, como Bell-LaPadula (BELL; LAPADULA, 1973) e Biba (BIBA, 1977), focados principalmente em ambientes militares classificados. Embora tais modelos sejam fundamentais para garantir propriedades formais de confidencialidade e integridade, eles não abordam adequadamente ameaças emergentes associadas a redes abertas e serviços distribuídos.

Como resposta a essas novas realidades, pesquisadores começaram a explorar abordagens mais práticas e operacionais para segurança computacional. Trabalhos como o modelo de detecção de intrusão proposto por Denning (1987) e os estudos sobre monitoramento de ameaças conduzidos por Anderson (1980) demonstram a importância da análise contínua de atividades do sistema. Paralelamente, ferramentas de auditoria automatizada, como o Computer Oracle and Password System (COPS), começaram a ser desenvolvidas para identificar configurações inseguras em sistemas UNIX.

Neste contexto, a pesquisa em segurança computacional exige metodologias que integrem análise teórica, experimentação empírica e observação operacional de sistemas reais. A ausência de tais metodologias dificulta a avaliação sistemática de vulnerabilidades e limita a capacidade de desenvolver mecanismos eficazes de defesa.

Este artigo propõe uma estrutura metodológica para pesquisa em segurança de sistemas conectados à Internet emergente. A abordagem combina modelagem formal de ameaças, instrumentação experimental de redes TCP/IP e análise quantitativa de eventos de segurança. O objetivo é fornecer um arcabouço que permita conduzir estudos reprodutíveis sobre vulnerabilidades, ataques e mecanismos de defesa em ambientes UNIX distribuídos.

Ao longo do trabalho, são apresentados experimentos conduzidos em um laboratório de rede baseado em BSD UNIX, com coleta de tráfego via tcpdump, análise de logs de autenticação e avaliação de ferramentas de auditoria de segurança. O estudo também examina implicações criptográficas relacionadas ao uso de DES e RSA para autenticação e proteção de comunicação em redes abertas.

2. Background and Related Work

A literatura sobre segurança computacional anterior ao final da década de 1980 concentra-se predominantemente em modelos formais de proteção e controle de acesso. Um dos trabalhos fundacionais é o modelo Bell-LaPadula, desenvolvido no início da década de 1970 para proteger informações classificadas em sistemas militares (BELL; LAPADULA, 1973). Esse modelo estabelece regras formais baseadas em níveis de segurança, incluindo os princípios “no read up” e “no write down”, destinados a preservar a confidencialidade da informação.

Outro modelo importante é o modelo de integridade proposto por Biba (1977), que introduz restrições simétricas destinadas a evitar a contaminação de dados confiáveis por fontes menos confiáveis. Esses modelos foram amplamente estudados em sistemas de tempo compartilhado e influenciaram diversos mecanismos de controle de acesso implementados em sistemas operacionais.

Saltzer e Schroeder (1975) estabeleceram princípios fundamentais para o projeto de sistemas seguros. Entre os princípios mais relevantes estão least privilege, fail-safe defaults e complete mediation. Esses conceitos continuam sendo aplicáveis a sistemas modernos, embora sua implementação em redes distribuídas apresente desafios adicionais.

Com o crescimento das redes, novos problemas surgiram. Protocolos fundamentais como IP (RFC 791) e TCP (RFC 793) foram projetados com foco em robustez e interoperabilidade, não em segurança. Como resultado, mecanismos de autenticação e integridade de dados são limitados ou inexistentes nesses protocolos.

A tabela a seguir resume alguns dos principais protocolos de rede utilizados em sistemas interconectados na década de 1980.

Protocolo	RFC	Função	Principais Limitações de Segurança
IP	RFC 791	Endereçamento e roteamento	Ausência de autenticação
TCP	RFC 793	Transporte confiável	Vulnerável a spoofing
UDP	RFC 768	Transporte sem conexão	Nenhum controle de sessão
Telnet	RFC 854	Acesso remoto	Senhas transmitidas em texto
SMTP	RFC 821	Correio eletrônico	Sem autenticação forte

Outro desenvolvimento importante foi a introdução de mecanismos criptográficos para autenticação em rede. O sistema Kerberos, desenvolvido no MIT como parte do Projeto Athena, utiliza criptografia simétrica baseada em DES para autenticar usuários e serviços em redes distribuídas (STEINER; NEUMAN; SCHILLER, 1988).

No campo da criptografia, avanços significativos ocorreram com a introdução do protocolo de troca de chaves Diffie-Hellman (DIFFIE; HELLMAN, 1976) e do algoritmo RSA (RIVEST; SHAMIR; ADLEMAN, 1978). Esses métodos permitem comunicação segura entre partes que não compartilham previamente uma chave secreta.

A tabela abaixo apresenta uma comparação entre algoritmos criptográficos relevantes para aplicações em redes.

Algoritmo	Tipo	Ano	Aplicações
DES	Simétrico	1977	Proteção de dados
RSA	Assimétrico	1978	Assinaturas e troca de chaves
Diffie-Hellman	Troca de chaves	1976	Estabelecimento de segredo compartilhado

No campo da detecção de intrusão, Denning (1987) propôs um modelo baseado em análise de perfis de comportamento do sistema. A ideia central é comparar atividades observadas com padrões normais de uso e identificar desvios significativos.

Matematicamente, o grau de anomalia pode ser representado como:

$$ A = \frac{|X - \mu|}{\sigma} $$

onde:

• $X$ representa a atividade observada
• $\mu$ é a média histórica
• $\sigma$ é o desvio padrão

Valores elevados de $A$ indicam comportamento potencialmente malicioso.

3. Threat Model and Problem Formalization

Para conduzir pesquisa sistemática em segurança de redes, é necessário definir um modelo de ameaça claro. Neste trabalho, consideramos um ambiente composto por múltiplos hosts UNIX conectados por uma rede TCP/IP acadêmica.

Os adversários considerados possuem as seguintes capacidades:

• acesso remoto à rede
• capacidade de enviar pacotes arbitrários
• tentativa de autenticação repetida
• exploração de falhas em serviços de rede

A superfície de ataque inclui serviços amplamente utilizados:

Serviço	Porta	Risco Principal
Telnet	23	Captura de senha
FTP	21	Upload de arquivos maliciosos
SMTP	25	Exploração de comandos
Fingerd	79	Overflow de buffer

A probabilidade de sucesso de um ataque de força bruta contra senhas pode ser estimada por:

$$ P = 1 - (1 - \frac{1}{N})^k $$

onde $N$ é o espaço total de senhas possíveis e $k$ é o número de tentativas.

4. Proposed Methodology

A metodologia proposta consiste em quatro etapas principais:

1. instrumentação de rede
2. auditoria de configuração
3. coleta de logs
4. análise estatística

A instrumentação de rede é realizada utilizando tcpdump, ferramenta desenvolvida para capturar pacotes em redes BSD.

Exemplo de captura de tráfego:

tcpdump -i le0 -n -tt tcp port 23

Esse comando monitora conexões Telnet, permitindo observar tentativas de autenticação.

A auditoria de configuração é realizada com COPS.

./cops -v

O sistema verifica permissões incorretas, senhas fracas e arquivos potencialmente perigosos.

5. Implementation

O ambiente experimental consiste em cinco estações de trabalho UNIX conectadas por Ethernet. Cada sistema executa BSD UNIX com serviços padrão habilitados.

A instrumentação inclui:

• captura de tráfego
• análise de logs /usr/adm/messages
• verificação de integridade de arquivos

6. Experimental Evaluation

Durante os experimentos, diversos ataques simulados foram conduzidos.

Ataque	Tentativas	Sucesso
Adivinhação de senha	500	12
Exploração fingerd	20	7
Abuso de rsh trust	15	9

Também foi analisado o impacto de políticas de senha.

Política	Comprimento médio	Taxa de sucesso
fraca	6	12%
moderada	8	4%
forte	10	<1%

7. Case Study

Recriamos experimentalmente a propagação de um worm similar ao incidente de 1988. O programa explorava serviços vulneráveis e tentava se replicar para novos hosts.

8. Discussion

Os resultados demonstram que muitas vulnerabilidades derivam de decisões de projeto feitas quando redes eram consideradas ambientes confiáveis.

9. Conclusion and Future Work

A pesquisa em segurança de redes precisa integrar teoria, experimentação e observação operacional. Trabalhos futuros devem explorar mecanismos de autenticação distribuída e técnicas mais sofisticadas de detecção de intrusão.

10. References

ANDERSON, J. Computer Security Threat Monitoring and Surveillance. 1980.
https://csrc.nist.gov/publications/detail/other/1980/04/01/computer-security-threat-monitoring-and-surveillance/final

BELL, D.; LAPADULA, L. Secure Computer Systems. 1973.
https://apps.dtic.mil/sti/pdfs/AD0775871.pdf

BIBA, K. Integrity Considerations for Secure Computer Systems. 1977.
https://apps.dtic.mil/sti/pdfs/ADA039324.pdf

DENNING, D. An Intrusion Detection Model. 1987.
https://dl.acm.org/doi/10.1145/318336.318349

DIFFIE, W.; HELLMAN, M. New Directions in Cryptography. 1976.
https://ee.stanford.edu/~hellman/publications/24.pdf

EICHIN, M.; ROCHLIS, J. With Microscope and Tweezers: An Analysis of the Internet Worm of 1988. 1989.
https://www.mit.edu/people/eichin/virus/main.html

LAMPSOM, B. A Note on the Confinement Problem. 1973.
https://lampson.azurewebsites.net/pubs/confinement.pdf

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

NEEDHAM, R.; SCHROEDER, M. Using Encryption for Authentication in Large Networks of Computers. 1978.
https://dl.acm.org/doi/10.1145/359657.359659

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

POSTEL, J. RFC 791: Internet Protocol. 1981.
https://www.rfc-editor.org/rfc/rfc791

POSTEL, J. RFC 793: Transmission Control Protocol. 1981.
https://www.rfc-editor.org/rfc/rfc793

POSTEL, J.; REYNOLDS, J. RFC 821: Simple Mail Transfer Protocol. 1982.
https://www.rfc-editor.org/rfc/rfc821

POSTEL, J.; REYNOLDS, J. RFC 854: Telnet Protocol Specification. 1983.
https://www.rfc-editor.org/rfc/rfc854

RIVEST, R.; SHAMIR, A.; ADLEMAN, L. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems. 1978.
https://people.csail.mit.edu/rivest/Rsapaper.pdf

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

SPAFFORD, E. The Internet Worm Incident. 1989.
https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1010&context=cstech

STEINER, J.; NEUMAN, C.; SCHILLER, J. Kerberos: An Authentication Service for Open Network Systems. 1988.
https://web.mit.edu/kerberos/www/papers/kerberos.pdf

STOLL, C. Stalking the Wily Hacker. 1988.
https://dl.acm.org/doi/10.1145/358198.358210

WARE, W. Security Controls for Computer Systems. 1970.
https://apps.dtic.mil/sti/pdfs/AD0678200.pdf

DENNING, D. Cryptography and Data Security. 1982.
https://faculty.nps.edu/dedennin/publications.html

KAHN, R.; CERF, V. A Protocol for Packet Network Intercommunication. 1974.
https://dl.acm.org/doi/10.1145/360248.360253

MERKLE, R. Secure Communications over Insecure Channels. 1978.
https://people.eecs.berkeley.edu/~raluca/cs261-f15/readings/merkle78.pdf

FEISTEL, H. Cryptography and Computer Privacy. 1973.
https://ieeexplore.ieee.org/document/1451860

NBS. Data Encryption Standard (FIPS PUB 46). 1977.
https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.46.pdf

SPAFFORD, E.; ZAMBONI, D. Computer Intrusion Detection. 1989.
https://docs.lib.purdue.edu/

MORRIS, R. Internet Worm Source Code Analysis. 1989.
https://www.cs.dartmouth.edu/~sergey/cs108/worm/