HKHiago Kin Levi
← Voltar aos artigos

Paper Files / Crypto

Fundamentos Operacionais da Criptografia em Sistemas Distribuídos: Uma Análise Técnica e Experimental no Contexto da ARPANET (1986)

CryptoPT

A consolidação do conjunto de protocolos TCP/IP na ARPANET, formalizada a partir de 1983, transformou radicalmente o cenário de interconexão entre sistemas acadêmicos e governamentais, ampliando tanto as possibilidades de colaboração quanto a superfície de exposição a adversários capazes de interceptar e manipular tráfego em redes de comutação de pacotes. Neste trabalho, investigamos, sob a perspectiva tecnológica disponível até 1986, a viabilidade de uma arquitetura criptográfica híbrida para proteção de serviços distribuídos como Telnet, FTP e SMTP. Integramos mecanismos de chave pública — notadamente RSA e troca de chaves de Diffie-Hellman — com cifração simétrica baseada no Data Encryption Standard (DES) em modo CBC conforme FIPS PUB 81, complementada por códigos de autenticação de mensagem inspirados no padrão ANSI X9.9. Formalizamos o modelo de ameaça assumindo adversários com capacidade de escuta passiva em Ethernet compartilhada, injeção ativa de pacotes e execução de ataques de força bruta e de dicionário compatíveis com os recursos computacionais da época. Empregamos noções de indistinguibilidade e segurança probabilística, conforme Goldwasser e Micali, como guia conceitual para o projeto de protocolos e seleção de modos de operação. A implementação foi realizada em linguagem C sob UNIX 4.2/4.3BSD em VAX-11/780, com otimizações específicas para exponenciação modular via redução de Montgomery e uso do Teorema Chinês do Resto. Resultados experimentais demonstram que o custo adicional introduzido pela autenticação e estabelecimento de chaves é aceitável para aplicações interativas e praticamente desprezível para transferências de grande volume. Concluímos que, mesmo nas restrições de 1986, é tecnicamente factível implantar comunicações autenticadas e confidenciais sobre TCP/IP, desde que acompanhadas de disciplina operacional rigorosa na gestão de chaves públicas e sincronização temporal.

  1. Introduction

A consolidação da pilha TCP/IP na ARPANET a partir de 1983 trouxe para o primeiro plano a necessidade de proteger dados que, até então, transitavam em serviços como Telnet, FTP e SMTP em texto claro (POSTEL; REYNOLDS, 1983; POSTEL; REYNOLDS, 1985). Em ambientes universitários e de pesquisa, a conectividade proporcionou ganhos substanciais de colaboração, mas também ampliou a superfície de ataque para adversários capazes de escutar tráfego em meios compartilhados e de explorar fraquezas em protocolos de aplicação (SALTZER; SCHROEDER, 1975; LAMPSON, 1974). Analogamente, arquiteturas de tempo compartilhado e sistemas multiusuário herdaram o foco em controle de acesso local, com mecanismos como senhas e bits de permissão em UNIX, os quais não endereçam os riscos inerentes à transmissão sobre redes sem garantias intrínsecas de confidencialidade e integridade (MORRIS; THOMPSON, 1979).

Do ponto de vista conceitual, a teoria da informação de Shannon (1949) estabeleceu as bases de segurança perfeita e os limites de sistemas determinísticos, ao passo que a criptografia moderna, a partir de 1976, reconfigurou a prática com a introdução de mecanismos de chave pública e de definições de segurança baseadas em indistinguibilidade (DIFFIE; HELLMAN, 1976; GOLDWASSER; MICALI, 1982; YAO, 1982). A padronização do DES pelo NBS em 1977 (NBS, 1977) proporcionou um mecanismo simétrico prático e amplamente disponível; por sua vez, o RSA (RIVEST; SHAMIR; ADLEMAN, 1978) e a troca de chaves de Diffie-Hellman (DIFFIE; HELLMAN, 1976) ofereceram alternativas viáveis para o antigo gargalo da distribuição de chaves (MERKLE, 1978).

Este trabalho tem como objetivo integrar esses avanços, respeitando as limitações tecnológicas de 1986, em uma arquitetura experimental que combine: estabelecimento de chaves com técnicas assimétricas; confidencialidade e integridade por DES em modo CBC conforme FIPS PUB 81; e autenticação de origem baseada em desafios, nonces e carimbos de tempo, inspirada em Needham-Schroeder e na correção de Denning-Sacco (NEEDHAM; SCHROEDER, 1978; DENNING; SACCO, 1981; NBS, 1980). Para tanto, apresentamos um modelo formal de ameaça consistente com adversários de capacidade computacional da época e descrevemos medições obtidas em VAX-11/780 sob UNIX BSD, quantificando a sobrecarga introduzida.

Além da contribuição experimental, reforçamos o elo entre teoria e prática: formalizamos a segurança de confidencialidade no paradigma de indistinguibilidade de criptogramas contra adversários de tempo polinomial (GOLDWASSER; MICALI, 1982), discutimos requisitos de aleatoriedade reprodutível e autenticada (BLUM; MICALI, 1984; BLUM; BLUM; SHUB, 1986), e avaliamos protocolos à luz de princípios de projeto seguro (SALTZER; SCHROEDER, 1975). O escopo é explicitamente delimitado a tecnologias disponíveis até 1986.

References

ANSI. American National Standards Institute. Financial Institution Message Authentication (Wholesale). ANSI X9.9-1981. 1981. Disponível em: https://webstore.ansi.org/standards/ascx9/ansix9-9-1981. Acesso em: 13 abr. 2026.

BELL, David E.; LAPADULA, Leonard J. Secure Computer Systems: Mathematical Foundations. Bedford, MA: MITRE Technical Report MTR-2547, 1973. Disponível em: https://csrc.nist.gov/publications/detail/white-paper/1973/secure-computer-systems-mathematical-foundations/final. 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.

BLUM, Manuel; MICALI, Silvio. How to generate cryptographically strong sequences of pseudorandom bits. SIAM Journal on Computing, v. 13, n. 4, p. 850–864, 1984. Disponível em: https://doi.org/10.1137/0213053. Acesso em: 13 abr. 2026.

CERF, Vinton G.; KAHN, Robert E. A protocol for packet network intercommunication. IEEE Transactions on Communications, v. 22, n. 5, p. 637–648, 1974. Disponível em: https://doi.org/10.1109/TCOM.1974.1092259. Acesso em: 13 abr. 2026.

DENNING, Dorothy E. R. 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. R.; 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/358746.358761. 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.

GOLDWASSER, Shafi; MICALI, Silvio. Probabilistic encryption. In: Proceedings of the 14th Annual ACM Symposium on Theory of Computing (STOC). 1982. p. 365–377. Disponível em: https://doi.org/10.1145/800070.802212. Acesso em: 13 abr. 2026.

HELLMAN, Martin E. A cryptanalytic time-memory trade-off. IEEE Transactions on Information Theory, v. 26, n. 4, p. 401–406, 1980. Disponível em: https://doi.org/10.1109/TIT.1980.1056220. Acesso em: 13 abr. 2026.

KARGER, Paul A.; SCHELL, Roger R. Multics security evaluation: Vulnerability analysis. In: Proceedings of the AFIPS 1974 National Computer Conference. 1974. p. 555–571. Disponível em: https://multicians.org/karger-schell-1974.pdf. Acesso em: 13 abr. 2026.

KNUTH, Donald E. The Art of Computer Programming, Volume 2: Seminumerical Algorithms. 2. ed. Reading, MA: Addison-Wesley, 1981. Disponível em: https://archive.org/details/artofcomputerpro02dona. Acesso em: 13 abr. 2026.

LAMPSON, Butler W. Protection. ACM Operating Systems Review, v. 8, n. 1, p. 18–24, 1974. Disponível em: https://doi.org/10.1145/775265.775268. 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.

MEYER, Carl H.; MATYAS, Stephen M. Cryptography: A New Dimension in Computer Data Security. New York: John Wiley & Sons, 1982. Disponível em: https://archive.org/details/cryptographynewd00meye. Acesso em: 13 abr. 2026.

MONTGOMERY, Peter L. Modular multiplication without trial division. Mathematics of Computation, v. 44, n. 170, p. 519–521, 1985. Disponível em: https://doi.org/10.1090/S0025-5718-1985-0777282-X. 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 (FIPS PUB 46). 1977. Disponível em: https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.46.pdf. Acesso em: 13 abr. 2026.

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

NBS. National Bureau of Standards. Guidelines for Implementing DES (FIPS PUB 74). 1981. Disponível em: https://nvlpubs.nist.gov/nistpubs/Legacy/FIPS/fipspub74.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.

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

POSTEL, Jon. Transmission Control Protocol. RFC 793. 1981. 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.

POSTEL, Jon; REYNOLDS, Joyce. File Transfer Protocol (FTP). RFC 959. 1985. Disponível em: https://www.rfc-editor.org/rfc/rfc959. Acesso em: 13 abr. 2026.

RABIN, Michael O. Probabilistic algorithm for testing primality. Journal of Number Theory, v. 12, n. 1, p. 128–138, 1980. Disponível em: https://doi.org/10.1016/0022-314X(80)90084-0. 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.

SHANNON, Claude E. Communication theory of secrecy systems. Bell System Technical Journal, v. 28, p. 656–715, 1949. Disponível em: https://doi.org/10.1002/j.1538-7305.1949.tb00928.x. Acesso em: 13 abr. 2026.

SOLOVAY, Robert; STRASSEN, Volker. A fast Monte-Carlo test for primality. SIAM Journal on Computing, v. 6, n. 1, p. 84–85, 1977. Disponível em: https://doi.org/10.1137/0206009. Acesso em: 13 abr. 2026.

YAO, Andrew Chi-Chih. Theory and application of trapdoor functions. In: Proceedings of the 23rd IEEE Symposium on Foundations of Computer Science (FOCS). 1982. p. 80–91. Disponível em: https://doi.org/10.1109/SFCS.1982.45. Acesso em: 13 abr. 2026.