área de pesquisa
- Aplicação da CAPSL na Especificação de Protocolos Criptográficos
- Infraestrutura Formal de Segurança para Sistemas Distribuídos
- LIKE - Uma proposta mais eficiente para a troca segura e autenticada de chaves criptográficas através da cripto-assianatura
- Luiz Antonio da Frota Mattos
- Modelo RBAC_ORDB Uma proposta para Acesso Baseado em Papéis para Banco de Dados Objeto-Relacional
- Um Modelo de Segurança para Agentes Móveis baseado em Certificados SPKI / SDSI
- Uma proposta de arquitetura para a criptoanálise do DES em um ambiente de processamento distribuído