Voltar


Laboratório Virtual de Protocolos

Introdução

Este Laboratório Virtual coordena as pesquisas para o desenvolvimento e implementação de protocolos criptográficos seguros. Esses protocolos envolvem a interação entre dois ou mais agentes, que podem ser homens ou máquinas.

Os objetivos dos protocolos - desenvolvidos e analisados contra todos os tipos de ataques - são os mais variados, por exemplo:

  • identificação segura de agentes: homem-homem; homem-máquina ou máquina-máquina;
  • métodos de pagamento eletrônico seguro;
  • intercâmbio confiável de informações;
  • votação eletrônica segura;
  • métodos de leilão seguro, e
  • contratos eletrônicos.

Este Laboratório Virtual deverá coordenar pesquisas nas seguintes áreas:

  1. Modelos e definições
  2. Protocolos seguros de computação.
  3. Protocolos criptográficos racionais.

O PROTO, em sua estrutura final, deverá se organizar em três grupos de desenvolvimeno:

  1. Modelos e definições, com os seguintes temas:
    • Protocolos de acordo de chaves e autenticação;
    • Provas de zero-knowledge;
    • Protocolos para identificação;
  2. Protocolos seguros de computação
    • Computação eficiente entre múltiplas partes (MPC)
    • Segurança Demonstrável para protocolos:
      • Votação
      • Leilão e licitação eletrônica segura
      • Criptografia no limiar
      • Protocolos de acordo assíncronos;
    • Protocolos incondicionalmente seguros
  3. Protocolos criptográficos racionais:
    • Comportamento racional e modelos econômicos e de Teoria dos Jogos.
    • Computação entre múltiplos participantes racionais.

Nessa primeira fase de implantação da RENASIC por intermédio da FINEP serão buscadas as seguintes metas específicas:

  1. Implantação e operação do laboratório PROTO.
  2. Mecanismos de proteção de nova versão DNS - Subprotocolo de nova versão DNS.
  3. Proposta de política de governo sobre sistema multilateral de domínios (DNS).
  4. Subsistema de análise do protocolo para detecção de intrusão e geração de estatísticas.
  5. GSC - Gerador de Sequencias Criptográficas (SCs)
  6. CDSC - Centro de Distribuição de Sequências Criptográficas
  7. PTSC - Protocolo de Transporte de Sequências Criptográficas
  8. Coordenação e Gestão do Projeto
  9. Prospecção da viabilidade de protocolo para realização de eleições por meio da Internet (VotoNet)

Descrição

O objetivo geral é o de implantar um laboratório de análise e desenvolvimento de protocolos seguros, permitindo a atuação de um grupo de pesquisa nessa área, em especial para execução, no período do projeto, de três esforços articulados de pesquisa referentes aos temas:

  1. Estudos de Soluções Técnicas e Administrativas Seguras para a Nova Geração de Sistemas de Nomes da Internet STADS
  2. Sistema Criptográfico de Chave Única para uso em Redes ScuNet
  3. Prospecção da viabilidade de protocolo para realização de eleições por meio da Internet (VotoNet).

Coordenadores e Participantes

Coordenador Geral

Rafael Timóteo de Sousa Júnior - Possui graduação em Curso de Engenharia Elétrica pela Universidade Federal da Paraíba, Campina Grande (1984), mestrado (DEA) em Telemática e Sistemas de Informação pela Ecole Supérieure d'Electricité - SUPELEC (1985) e doutorado em Processamento de Sinais e Telecomunicações pela Université de Rennes I (França, 1988). Fez pós-doutorado na Ecole Supérieure d'Electricité - SUPELEC (2006-2007). Atualmente é professor adjunto da Universidade de Brasília, curso de Engenharia de Redes de Comunicação. Tem experiência em Engenharia de Software e Engenharia de Redes de Comunicação, atuando principalmente nos seguintes temas: segurança da informação e confiança computacional, gerência de redes, mobile ad-hoc networks (manet), computação em grid, agentes de software e aplicações via Internet.

Pesquisadores registrados anteriormente

  • Routo Terada (USP) GT1, GT2
  • Mehran Misaghi (Sociesc) GT1
  • Ricardo Theil (Comprova) GT2
  • Lucas C. Ferreira (Câmara dos Deputados) GT2
  • Lau Cheuk Lung (INE - UFSC) GT2
  • Laerte Peotta (UnB)

Pesquisadores pelo projeto FINEP

  • Luiz Laranjeira
  • Bernardo Machado David
  • Marcelo Dias Holtz
  • Artur Brasil da Costa Rodrigues
  • Helder Gonçalves Monteiro
  • Joel Guilherme da Silva Filho
  • Shirley Cristina Lemos Santos
  • Jerônimo Osvaldo Dias Jardim
  • Érico Mascarenhas Mendonça
  • Laerte Peotta de Melo
  • Humberto Carneiro Ramos Júnior