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.

Graduação em Matemática

1964 - 1966

Universidade de Brasília

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

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Razoavelmente, Escreve Razoavelmente.

Bandeira representando o idioma Espanhol

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.

Bandeira representando o idioma 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

Aluno: Leandro Amaral Fernandes

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.

Aluno: Iasca Doroftei Torlig Junior

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.

Aluno: Marco Antônio de Oliveira Araújo

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.

Aluno: [Nome removido após solicitação do usuário]

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.

Aluno: Norma Rodrigues Gomes

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.

Aluno: SILAS LEITE ALBUQUERQUE

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.

Aluno: Diogenes José Firmiano e Igor Flávio da Costa Bruno

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.

Aluno: Flávio Minoru Morimoto

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.

Aluno: Adriano Soares de Oliveira Bailão

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.

Aluno: Paulo Tasse de Souza

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.

Aluno: Ayrton Menitto Cinquini

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.

Aluno: Cristian Ferreira de Souza

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.

Aluno: Rafael Almeida de Paula

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.

Aluno: Rodrigo de Almeida Sodre

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.

Aluno: Dirson Santos de Campos

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.

Aluno: Eduardo Wolski

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.

Aluno: Janine Zancanaro da Silva

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.

Aluno: Alváro Antônio Aures Garcia

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.

Aluno: Clóvis Freire Junior

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.

Aluno: João Alberto de Oliveira Lima

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.

Aluno: Ticiane Proença Bueno

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.

Aluno: Luis Fernando de Oliveira Soeiro

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.

Aluno: Antonio Bernard Falcão Costa

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.

Aluno: Glen Cézar Lemos

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.

Aluno: José Ricardo Souza Camelo

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.

Aluno: André Thiago Souza da Silva & Hugo Vasconcelos Saldanha

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.

Aluno: Daniel Lima Ventura

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.

Aluno: Eduardo Arantes Rocha de Oliveira

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.

Aluno: Tiago Moreira da Fonseca e Thelmo Enoque Silva Martins

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.

Aluno: Mariane Carvalho Berto e Doracílio Fernandes de Farias Jr

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.

Aluno: Marcelo Eduardo e Romulo Faculte

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.

Aluno: Braz Luiz de Oliveira

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.

Aluno: Dino Maecelo Amaral e Paulo Moda Lari

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.

Aluno: Leonardo Pacheco e Rodrigo Piana

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.

Aluno: Marcelo Leite Cabral de Melo, Kenny Carlos Barbalho Moreira

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.

Aluno: Denis Fonseca de Oliveira e Ricardo Fonseca e Campos

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.

Aluno: Inerves José S

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

Luis Paulo Braz Garcia

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;

Norma Rodrigues Gomes

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;

[Nome removido após solicitação do usuário]

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;

Marco Antonio Oliveira Araújo

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;

SILAS LEITE ALBUQUERQUE

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;

Rodrigo de Almeida Sodre

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;

Rafael Almeida de Paula

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;

Dirson Santos de Campos

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;

Cristian Ferreira de Souza

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;

Clóvis Freire Junior

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;

Marco Antonio Oliveira Araújo

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;

Rodrigo Soriano de Alencar

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;

Mariane de Carvalho Berto e Doracílio Fernandes de Farias Jr

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;

Eduardo Arantes Rocha de Oliveira

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;

Daniel Lima Ventura

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;

Mateus Braga Fernandes

Autômatos e Computabilidade; 2003; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;

Daniela Dias Xavier

Autômatos e Computabilidade; 2003; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;

Luis Paulo Braz Garcia

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;

Norma Rodrigues Gomes

Comportamento de LOGS; 2002; 77 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;

SILAS LEITE ALBUQUERQUE

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;

[Nome removido após solicitação do usuário]

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;

Márcia Mikiko Murakami

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;

Dirson Santos de Campos

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;

Rodrigo de Almeida Sodre

Engenharia de Segurança; 2000; 48 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;

Rafael Almeida de Paula

Assinaturas Digitais e Documentos Eletrônicos; 2000; 0 f; Orientação de outra natureza - Universidade de Brasília; Orientador: Luiz Antonio da Frota Mattos;

Cristian Ferreira de Souza

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;

Clóvis Freire Junior

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;

Clóvis Freire Junior

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ções

Ví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 Janeiro

Ví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ília

Ví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