Luiz Antonio da Frota Mattos
Possui graduação em Matemática pela Universidade de Brasília(1966), mestrado em Matemática pela The State University of New Jersey - New Brunswick(1973), doutorado em Matemática pela The State University of New Jersey - New Brunswick(1975), pós-doutorado pela The State University of New Jersey - New Brunswick(1988) e pós-doutorado pela University of Nebraska Administration(1995). Atualmente é Professor Adjunto III da Universidade de Brasília. Tem experiência na área de Ciência da Computação, com ênfase em Segurança da Computação. Atuando principalmente nos seguintes temas:Extensão Analítica, Grupos de Lie, Série de Fourier.
Informações coletadas do Lattes em 17/10/2022
Acadêmico
Formação acadêmica
Doutorado em Matemática
1970 - 1975
The State University of New Jersey - New Brunswick
Título: A Extensão Analítica Complexa da Série de Fourier em um Grupo de Lie Compacto e Conexo
Orientador: Roe Goodman
Bolsista do(a): The State University of New Jersey - New Brunswick, RUTGERS, Estados Unidos. Palavras-chave: Extensão Analítica; Grupos de Lie; Série de Fourier.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise / Especialidade: Análise Complexa.
Mestrado em Matemática
1970 - 1973
The State University of New Jersey - New Brunswick
Orientador: Roe Goodman
Bolsista do(a): The State University of New Jersey - New Brunswick, RUTGERS, Estados Unidos. Palavras-chave: Grupos de Lie; Série de Fourier; Extensão Analítica.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise / Especialidade: Análise Complexa.
Pós-doutorado
1994 - 1995
Pós-Doutorado. , University of Nebraska Administration. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. , Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.
1987 - 1988
Pós-Doutorado. , The State University of New Jersey - New Brunswick, RUTGERS, Estados Unidos. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. , Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Razoavelmente, Escreve Razoavelmente.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança da Computação/Especialidade: Criptologia.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança da Computação/Especialidade: Segurança de Banco de Dados.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança da Computação/Especialidade: Política de Segurança.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança da Computação/Especialidade: Segurança de Redes e de Sistemas Distribuídos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Segurança da Computação/Especialidade: Detecção de Intrusão.
Participação em eventos
22º Simpósio Brasileiro de Redes de Computadorers. Detecção de Ataques pela Constatação de Violação dos Protocolos IP e TCP. 2004. (Congresso).
5º Simpósio de Segurança em Informática.Redução de Falsos Positivos em SDI Baseado em Análise de Riscos. 2003. (Simpósio).
5º Simpósio de Segurança em Informática.Uma Proposta Metodológica para Implantação do Modelo RBAC em Sistemas de Banco de Dados. 2003. (Simpósio).
Participação em bancas
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; ALVARENGA, Rogério. Uma proposta de mapeamento de requisitos e estrutura para definição de estratégias de gerência de riscos. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; GUADAGNIN, Renato da Veiga. Uma proposta de modelo integrado de gerenciamento de riscos em equipes de desenvolvimento de software - MIGREDS. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; NASCIMENTO, Maria Elenita Menezes; GUADAGNIN, Renato da Veiga. Metodologia de redução de falsos positivos em sistemas de detecção de intrusão baseada em análise de riscos.- MRFP. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; NASCIMENTO, Maria Elenita Menezes; GUADAGNIN, Renato da Veiga. Metodologia de implantação do modelo RBAC em sistemas de bancos de dados. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; SILVA, Wagner Teixeira da; GUADAGNIN, Renato da Veiga. Detecção de ataques através da constatação de violação dos protocolos IP e TCP. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; RAEL, Joacil Basilio; GONDIM, Paulo Roberto de Lira. Uma proposta de arquitetura para a criptoanálise do DES em um ambiente de processamento distribuído. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. E-Business e Componentes: Metodologia, Projeto e Desenvolvimento de Aplicações E-Business usando Desenvolvimento de Software Baseado em Componentes. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; MARQUES, Mamede Lima. MIGPS - Uma extensão do modelo integrado de gerência de projetos de software. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; SILVA, Wagner Teixeira da; OLIVEIRA, Kathia Marçal de. MADM - modelo de apoio a decisão baseado em conhecimento para solucionar métodos de desenvolvimento de sofdtware. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Modelo de Certificação Digital Aplicada a Instituições Financeiras.. 2002. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de Brasília.
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; MALDONADO, José Carlos. Um estudo sobre qualidade e produtividade em software: proposta de um modelo de estratégia para melhoria de produçãode software - MEMPS.. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; SANTANA, Regina Helena Carlucci; DANTAS, Mário Antônio Ribeiro. Um modelo de segurança para agentes móveis baseado em certificados SPKI/SDSI.. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; DAHAB, Ricardo; SILVA FILHO, Joel Guilherme da; PINHEIRO, Francisco de Assis Cartaxo. LIKE - Uma proposta mais eficiente para a troca segura e autenticação de chaves criptográficas através da cripto-assinatura.. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; FERNANDES, Clóvis Torres; RINCON, Maurício Ayala. Infra-estrutura formal de segurança para sistemas distribuídos. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; OLIVEIRA, Juliano Lopes de; NASCIMENTO, Maria Elenita Menezes. Modelo RBAC-ORDB : uma proposta para controle de acesso baseado em papéis para banco de dados. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
SILVA, Joel Guilherme;MATTOS, L. A. F.; DANTAS, Mário Antônio Ribeiro; SOUZA JÚNIOR, Rafael Timóteo de; GODINHO, Hemar Teixeira. Processamento Paralelo de Algoritmos de Fatoração. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de Brasília.
MATTOS, L. A. F.. Infre-Estrutura para o Desenvolvimento de Aplicações Seguras utilizando a Biblioteca OPENSSL.. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de Brasília.
MATTOS, L. A. F.. Protótipo de provedor de informação para Internet paa as empresas construturas situadas no Distrito Federal.. 2001. Dissertação (Mestrado em Ciências da Informação) - Universidade de Brasília.
MATTOS, L. A. F.; SERCONEK, Shirlei; SILVA FILHO, Joel Guilherme da; PINHEIRO, Francisco de Assis Cartaxo. Aplicação da CAPSL na especificação de protocolos criptográficos.. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; PINHEIRO, Francisco de Assis Cartaxo; ALENCAR, Fernanda Maria Ribeiro de; DANTAS, Mário Antônio Ribeiro. Modelo para especificação de requisitos de negócios baseada em regras de negócios utilizando RM-ODP.. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
SERCONEK, Shirlei;MATTOS, L. A. F.. Construções de Sequências de de Buijn. 2000. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; MELO, Walcélio Louzada Martins; ROSA, Antonio Nuno de Castro Santa. MIGRES - Modelo Integrado de Gerência de Riscos em Engenharia de Software. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; LITTO, Frederic Michael; SILVA, Wagner Teixeira da. VBIp: Uma ponte entre os mundos analógico e digital. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.
SERCONEK, Shirlei;MATTOS, L. A. F.; SILVA FILHO, Joel Guilherme da. Uma Análise de Estrutura e Complexidade Linear de Sequências Binárias Produzidas por Geradores Não-Lineares . 1999. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.
SILVA FILHO, Joel Guilherme da;MATTOS, L. A. F.; SOUSA JÚNIOR, Rafael Timóteo de; DANTAS, Mário Antônio Ribeiro. Segurança em Redes de Computação - Metodologia de Implantação. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de Brasília.
REZENDE, Pedro A D;MATTOS, L. A. F.; PINTO, Paulo Roberto da Silva. Controle de Acesso Baseado em Papéis na Informatização de Processos Judiciais. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; WEIGANG, Li; MELO, Alba Cristina Magalhães Alves de. Método de Fatoração (p-1) de Pollard e Criptografia RSA. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.; MELO, Alba Cristina Magalhães de; ALBUQUERQUE, Fernando. Estudo e Implementação do Protocolo de Time-Stamp da Infra-Estrutura de Chaves Públicas X.509. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Estudos em Biologia Computacional - Rearranjo de Genomas e Comparação de Sequências. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Análise do Gerador de Números Pseudoaleatórios do Java Sun. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Procedimento de Segurança. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Computador Quântico. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Evasão e Elisão em IDS. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Tecnologia de Components. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Processos de Desenvolvimento. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Frameworks de Aplicação Orientados a Objetos. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
MATTOS, L. A. F.. Filho.Um estudo do Sistema Operacional com facilidade de Virtual Server. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.
GUADAGNIN, Renato da Veiga;MATTOS, L. A. F.; SILVA, Wagner Teixeira da. Membro da Comissão de Seleção Simplifica de Professores Substitutos. 2000. Universidade de Brasília.
MATTOS, L. A. F.; GUAGNIM, Renato da Veiga; SILVA, Wagner Teixeira da. Comissão de Avaliação de Professor Substituto. 2000. Universidade de Brasília.
GUADAGNIN, Renato da Veiga;MATTOS, L. A. F.; SILVA, Wagner Teixeira da. Comissão da Avaliação de Professores Substitutos. 1999. Universidade de Brasília.
MATTOS, L. A. F.; RALHA, José Carlos Loureiro; CARVALHO, Marco Aurélio de; NASCIMENTO, Maria Elenita Menezes; WALTER, Maria Emília M Tles; SILVA, Wagner Texeira da. Membro da Comissão para reestruturação do Bacharelado em Ciência da Computaç.ão. 2003. Universidade de Brasília.
BRANDÃO, Maria de Fátima R;MATTOS, L. A. F.; ALBUQUERQUE, Fernando Antonio de Araújo Chacon de. Membro da Comissão para analisar e emitir parecer no processo de Recurso Geral de Revisão de Menção final do aluno Adriano Teles Costa e Oliveira.. 2003. Universidade de Brasília.
MATTOS, L. A. F.; JACOBI, Ricardo Pezzuol; KUMEL, Bruno Couto; ROSA, Alzimira R S. Presidente da Comissão para elaborar os procedimentos para realizar a escolha da nova administração do Departamento de Ciência da Computação.no biênio 2004/05.. 2003. Universidade de Brasília.
SILVA, Wagner Teixeira da;MATTOS, L. A. F.; LADEIRA, Marcelo. Membro da Comissão para dar parecer à solictiação de Revalidação de diploma de Noemi Matayoshi de Moraes. 2002. Universidade de Brasília.
NASCIMENTO, Maria Elenita Menezes;MATTOS, L. A. F.; BRANDÃO, Maria de Fátima R. Menbro da Comissão para analisar e emitir parecerno processo de Revalidação de Diploma de Orlando Nogueira Júnior.. 2002. Universidade de Brasília.
MOREIRA, Helmar Nunes;MATTOS, L. A. F.; TURNES, Osiris. Membro da Comissão da Avaliação do desempenho do Professor Rui Seimetz. 2000. Universidade de Brasília.
PITT, Higel John Edward;MATTOS, L. A. F.; COSTA, Maria Teresa Leão. Membro da Comissão de Avaliação da Professora Maria Valéria Carneiro de Souza. 2000. Universidade de Brasília.
Orientou
Um estudo sobre segurança em banco de dados utilizando o modelo BAC-LDAP; ; 2004; 134 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Detecção de ataques através da constatação de violação dos protocolos IP e TCP; ; 2003; 138 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Metodologia de implantação do modelo RBAC em sistemasde banco de dados; 2003; 106 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Metodologia de redução de falsos positivos em sistemas de detecção de intrusão baseada em análise de riscos - MRFP; 2003; 80 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Uma proposta de arquitetura para a criptoanálise do DES em um ambiente de processamento distribuído; 2003; 100 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Infraestrutura Formal de Segurança para Sistemas Distribuídos; 2001; 125 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
LIKE - Uma proposta mais eficiente para a troca segura e autenticada de chaves criptográficas através da cripto-assianatura; 2001; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Modelo RBAC_ORDB Uma proposta para Acesso Baseado em Papéis para Banco de Dados Objeto-Relacional; 2001; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Um Modelo de Segurança para Agentes Móveis baseado em Certificados SPKI / SDSI; 2001; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Aplicação da CAPSL na Especificação de Protocolos Criptográficos; 2000; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília,; Orientador: Luiz Antonio da Frota Mattos;
Sistemas de Detecçãode Intrusão; 2002; 56 f; Monografia; (Aperfeiçoamento/Especialização em Ciência da Computação) - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Segurança em Web Services; ; 2004; 46 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília, Convênio Musa; Orientador: Luiz Antonio da Frota Mattos;
Análise do Gerador de Números Pseudoaleatórios do Java Sun; 2003; 62 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Estudo e implementação do protocolo de Time-Stamp da infra-estrutura de chaves públicas X; 509; 2003; 83 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
O método (p-1) de fatoração de Pollard e o sistema criptográfico RSA; ; 2003; 129 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Autômatos e Computabilidade; 2003; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Autômatos e Computabilidade; 2003; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Segurança em Banco de Dados Relacionais; 2003; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Comportamento de LOGS; 2002; 77 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
A Utilização doProcessamento Paralelo na Criptoanálise; 2002; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Um estudo sobre segurança de dados relacionais e suas tendências a nível de contexto; ; 2001; 25 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Técnicas de Detecção de Intrusão Aplicadas a Banco de Dados; 2001; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Um estudo sobre segurança em banco de dados e seus modelos; ; 2000; 119 f; Orientação de outra natureza - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luiz Antonio da Frota Mattos;
Engenharia de Segurança; 2000; 48 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Assinaturas Digitais e Documentos Eletrônicos; 2000; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
A Segurança de Dados no Comércio Eletrônico e a Tecnologia WAP; ; 2000; 84 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
O Uso de Lógicas Modais na Análise e no Projeto de Protocolos Criptográficos; 1999; 43 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
O uso de métodos formais na análise e no projeto de Protocolos Criptográficos; ; 1999; 135 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;
Produções bibliográficas
-
GOMES, Norma Rodrigues ; MATTOS, L. A. F. . Attacks detection based on IP and TCP protocols violation.. International Journal of Forensic Computer Science , v. 1, p. 49-56, 2006.
-
MATTOS, L. A. F. ; OLIVEIRA, Eduardo . Implementação do Protocolo de Time-Stamp da Infra -Estrutura de Chaves Públicas X.509. In: 22º Simpósio Brasileiro de Redes de Computadores, 2004, Gramado, Rio Grande do Sul, 2004.
-
MATTOS, L. A. F. ; GOMES, Norma . Detecção de Ataques pela Constatação de Violação dos Protocolos IP e TCP. In: 22º Simpósio Brasileiro de Redes de Computadores, 2004, Gramado, Rio Grande do Sul.
-
MATTOS, L. A. F. ; ARAÚJO, Marco Antonio Oliveira . Metodologia de Redução de Falsos Positivos em SDI Baseado em Análise de Riscos. In: 5º Simpósio de Segurança em Informática, 2003, São José dos Campos, SP, 2003.
-
MATTOS, L. A. F. ; ROSA, Rosane Leal da . Uma Proposta Metodológica para Implantação do Modelo RBAC em Sistemas de Banco de Dados. In: 5º Simpósio de Seguranác em Informática - SSI'2003, 2003, São José dos Campos, SP, 2003.
-
MATTOS, L. A. F. ; CAMPOS, Dirson Santos de . Análise do Custo da Complexidade Administrativa em Mecanismos de Controle de Acesso para Banco de Dados Objeto-Relacional. In: 54º Reunião Anual da SBPC, 2002, Goiânia, GO. Publicado em CD, 2002.
-
MATTOS, L. A. F. ; SOUZA, C. F. . Incorporação de Certificados SPKI / SDSI ao Protocolo SSL. In: Workshop em Segurança de Sistemas Computacionais, 2001, Florianópolis, SC. IX Simpósio de Computação Tolerante a Falhas, 2001. p. 1-6.
-
MATTOS, L. A. F. ; CAMPOS, Dirson Santos de . Modelo RBAC_ORDB uma proposta de extensão de controle de acesso baseado em papéis para banco de dados objeto relacional.. In: Workshop de Computação, 2001, São José dos Campos, SP. Workcomp'2001, 2001. p. 69-76.
-
MATTOS, L. A. F. ; FREIRE JÚNIOR, C. . Especificação Formal para o Projeto e a Análise de Protocolos Criptográficos. In: Simpósio sobre Segurança em Informática, 2000, São José dos Campos. Simpósio sobre Segurança em Informática, 2000. p. 59-68.
-
MATTOS, L. A. F. ; CAMPOS, Dirson Santos de . Um Estudo sobre Aspectos da Segurança em Banco de Dados. In: Simpósio Sobre Segurança em Informática, 2000, São José dos Campos. Simpósio sobre Segurança em Informática, 2000. p. 127-136.
-
MATTOS, L. A. F. ; FREIRE JÚNIOR, C. . Especificação Formal de Objetivos de Protocolos Criptográficos. In: 52º Reunião Anual da SBPC, 2000, Brasília, DF. Publicado em CD., 2000.
-
MATTOS, L. A. F. ; CAMPOS, Dirson Santos de . Segurança para Banco de Dados Objeto e Objeto Relacional. In: 52º Reunião Anual da SBPC, 2000, Brasília, DF, 2000.
-
MATTOS, L. A. F. ; ROSA, R. L. . Segurança em Banco de Dados Relacionais e suas Tendências a Nível de Contexto. Brasília, DF: CIC / UnB, 2001 (Relatório de Pesquisa).
-
MATTOS, L. A. F. ; MURAKAMI, M. M. . Técnicas de Detecção de Intrusão Aplicadas a Banco de Dados. Brasília, DF: CIC / UnB, 2001 (Relatório de Pesquisa).
-
MATTOS, L. A. F. ; SOUZA, C. F. . Segurança da Dados no Comércio Eletrônico e a Tecnologia WAP (Wirelesse Application Protocol). Brasília, DF: CIC/UnB, 2000 (Relatório de Pesquisa).
-
MATTOS, L. A. F. ; CAMPOS, Dirson Santos de . Um Estudo sobre Segurança em Banco de Dados e seus Modelos. Brasília, DF: CIC / UnB, 2000 (Relatório de Pesquisa).
-
MATTOS, L. A. F. ; PAULA, R. A. . Assinatura Digitais e Documentos Eletrônicos. Brasília, DF: CIC / UnB, 2000 (Relatório de Pesquisa).
-
MATTOS, L. A. F. ; SODRÉ, R. A. . Engenharia de Segurança. Brasília, DF: CIC / UnB, 2000 (Relatório de Pesquisa).
-
MATTOS, L. A. F. ; FREIRE JÚNIOR, C. . O Uso de Métodos Formais na Análise e no Projeto de Protocolos Criptográficos. Brasília, DF: CIC / UnB, 2000 (Relatório de Pesquisa).
Projetos de pesquisa
-
2004 - 2004
Segurança em Web Services, Descrição: Os Web Services surgiram sem que houvesse uma preocupação imediata com segurança. Porém, para que possam se desenvolver e ter seu uso ampliado, os problemas relacionados à segurança devem ser solucionados. Diversos padrões de segurança foram concebidos para resolver tais problemas. O objetivo deste trabalho é analisar as alternativas de segurança para Web Services que estão surgindo e sendo utilizados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luiz Antonio da Frota Mattos - Coordenador / Rodrigo Soriano de Alencar - Integrante., Financiador(es): Convênio Musa - Bolsa.
-
2003 - 2003
Análise da Qualidade dos Geradores de Chaves Criptográficas do Java Sun, Descrição: Este projeto discute e analisa os testes de aleatoriedade de geradores de números aleatórios e pseudoaleatórios do Java 2 Securoty Model que podem ser usados para muitos propósitos como em criptografia. Um conjunto de nove testes estatísticos é descrito neste documento e aplicado sobre arquivos gerados pelo gerador de números aleatórios e pseudoaleatórios do Java 2 Security Model.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luiz Antonio da Frota Mattos - Coordenador / Mariane de Carvalho Berto e Doracílio Fernandes de Farias Jú - Integrante / Doracílio Fernandes da Farias Júnior - Integrante., Financiador(es): Fundação de Empreendimentos Científicos e Tecnológicos - Auxílio financeiro.
-
2003 - 2003
Estudo e Implementação do Protocolo de Time-Stamp da Infra-Estrutura de Chaves Públicas X.509, Descrição: O problema de protocolizar um documento em papel com data e hora tem solução trivial e conhecida, basta se dirigir a um cartório de notas do município e solicitar tal serviço. Existem inúmeras vantagens em armazenar documentos em formatos digitais do que em papel, mas não podem ser submetidos ao mesmo processo de datação de documentos em papel. Ao mesmo tempo, assinaturas digitais também têm sido usadas em substituição a assinaturas em papel, porém sua validade é a mesma do certificado utilizado para verificá-la. Se nenhum mecanismo confiável que agregue data e hora ao processo de assinatura for utilizado, é possível assinar um documento depois de expirado a validade do certificado de um assinante. O presente trabalho explica a necessidade de um protocolo de time-stamping para resolver esse tipo de problema, sempre usando a analogia de documentos em papel, e trata dos principais mecanismos de time-stamp disponíveis na literatura. O protocolo de time-stamp elaborado pela infra-estrutura de chaves públicas X.509 da Internet é descrito, introduz outros padrões utilizados por time-stamp, e, como resultado, obtem uma API na linguagem Java para utilização em projetos de infra-estrutura de chave pública X.509.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luiz Antonio da Frota Mattos - Coordenador / Eduardo Arantes Rocha de Oliveira - Integrante., Financiador(es): e Sec Tecnologia Em Segurança de Dados - Cooperação.
-
2003 - 2003
O método (p-1) de fatoração de Pollard e o sistema criptográfico RSA, Descrição: O trabalho tem como motivação estudar os números primos que tornam o Sistema Criptográfico RSA, que é o mais utilizado em aplicações comerciais, menos vulnerável a ataques por fatoração de números compostos. O método de fatoração empregado é o (p-1) de Pollard. Seu tempo de exescução, quando consegue a fatoração do número, é comparado ao método de Curvas Elípticas de Lenstra quando executado somente ele e, também, combinado com o Multiple Polynomial Quadratic Sieve (MPQS). Como a linguagem de programação Java vem ganhando cada vez mais espaço e popularidade entre as empresas desenvolvedoras de software, o trabalho avalia os números primos gerados por ela e verifica se existe alguma preocupaçao relativamente aos primos criptograficamente fortes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luiz Antonio da Frota Mattos - Coordenador / Daniel Lima Ventura - Integrante., Financiador(es): Fundação de Empreendimentos Científicos e Tecnológicos - Auxílio financeiro.
Histórico profissional
Endereço profissional
-
Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Instituto Central de Ciências, Campus Universitário, Asa Norte, 70910-900 - BRASILIA, DF - Brasil - Caixa-postal: 4466, Telefone: (61) 33072482, Ramal: 216, Fax: (61) 32733589, URL da Homepage:
Experiência profissional
1977 - 1995
Centro de Pesquisa e Desenvolvimento para a Segurança das ComunicaçõesVínculo: Servidor público ou celetista, Enquadramento Funcional: Pesquisador Titular IV, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
06/1977 - 12/1995
Pesquisa e desenvolvimento , Presidência da República, Secretaria de Assuntos Estratégicos.,Linhas de pesquisa
-
05/1978 - 01/1987
Direção e administração, Presidência da República, Secretaria de Assuntos Estratégicos.,Cargo ou função, Chefe de Divisão.
1975 - 1977
Universidade Federal do Rio de JaneiroVínculo: Outro, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
08/1975 - 07/1977
Ensino, Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Estruturas Algébricas, Variedades Diferenciáveis
-
01/1977 - 06/1977
Direção e administração, Instituto de Matemática, Departamento de Matemática Pura.,Cargo ou função, Coordenador de Curso.
-
07/1975 - 06/1977
Pesquisa e desenvolvimento , Instituto de Matemática, Departamento de Matemática Pura.,Linhas de pesquisa
-
06/1975 - 06/1977
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo III, Álgebra I, Álgebra Linear I, Análise Real II
1965 - 1967
Universidade de BrasíliaVínculo: Servidor Público, Enquadramento Funcional: Instrutor, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Progressão funcional, ocupante do cargo de Professor Adjunto MSC-I, para a classe de Professor Adjunto MSC-II, a partir de 04/10/1999.
Atividades
-
12/1997
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
-
12/1997
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Lógica Formal Aplicada, Teoria da Computação, Tópicos em Engenharia de Software, Monografia em Engenharia de Software, Estágio de Docência no Ensino de Graduação em Ciência da Computação
-
03/1996
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência da Computação, Segurança de Dados, Teoria da Computação, Teoria da Codificação e Criptografia, Linguagens Formais e Autômatos, Estudos em Sistemas de Informação, Autômatos e Computabilidade, Trabalho de Graduação, Estudos em Codificação e Criptografia
-
12/2003 - 12/2003
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Presidente da comissão para elaborar os procedimentos para realizar a escolha da nova administração do CIC no biênio 2004.
-
12/1997 - 12/2003
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissões temporárias.
-
08/2003 - 08/2003
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão para analisar e emitir parecer no processo de recurso geral de revisão de menção final do aluno Adriano Teles Costa e Oliveira.
-
01/2003 - 01/2003
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão para reesruturação do bacharelado em Ciência da Computação.
-
07/2002 - 07/2002
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão para analisar e emitir parecer no processo de revalidação de diploma de Orlando Nogueira Júnior.
-
03/2002 - 03/2002
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão para dar parecer à solicitação de revalidação de diploma da Noemi Matayoshi de Moraes.
-
10/2001 - 10/2001
Extensão universitária , Faculdade de Tecnologia, Departamento de Engenharia Elétrica.,Atividade de extensão realizada, Criptografia.
-
12/2000 - 12/2000
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão de avaliação do desempenho da Professora Maria Valéria Carneiro de Souza.
-
07/2000 - 07/2000
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão de avaliação de Professor Substituto.
-
04/1998 - 05/2000
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Coordenador do Curso de Graduação.
-
04/1998 - 05/2000
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Sub-Chefe de Departamento.
-
04/1998 - 05/2000
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Congregação de Carreira dos Cursos de Graduação do Instituto de Ciências Exatas.
-
03/2000 - 03/2000
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão de avaliação do desempenho do Prof. Rui Seimetz.
-
03/2000 - 03/2000
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão de seleção simplificada de professores substitutos.
-
11/1999 - 11/1999
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão da Avaliação de Professores Substitutos.
-
12/1997 - 12/1997
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Segurança em Redes.
-
10/1965 - 12/1993
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo I, Cálculo II, Cálculo III, Cálculo IV, Introdução a Álgebra Linear, Equações Diferenciais Ordinárias, Matemática I, Matemática II, Análise Combinatória, Cálculo Numérico, Introdução à Computação
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Luiz Antonio da Frota Mattos e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?