publicações selecionadas A Extensão da Série de Fourier em SU(2) A Extensão Analítica Complexa da Série de Fourier em um Grupo de Lie Compacto e Conexo
theses/dissertations advising Metodologia de redução de falsos positivos em sistemas de detecção de intrusão baseada em análise de riscos - MRFP Modelo RBAC_ORDB Uma proposta para Acesso Baseado em Papéis para Banco de Dados Objeto-Relacional Uma proposta de arquitetura para a criptoanálise do DES em um ambiente de processamento distribuído Detecção de ataques através da constatação de violação dos protocolos IP e TCP. LIKE - Uma proposta mais eficiente para a troca segura e autenticada de chaves criptográficas através da cripto-assianatura Aplicação da CAPSL na Especificação de Protocolos Criptográficos Infraestrutura Formal de Segurança para Sistemas Distribuídos Model RABAC-ORDB - Uma proposta para Controle de Acesso Baeado em Papéis para Banco de Dados Objeto-Relacional Metodologia de implantação do modelo RBAC em sistemasde banco de dados Um estudo sobre segurança em banco de dados utilizando o modelo BAC-LDAP. Um Modelo de Segurança para Agentes Móveis baseado em Certificados SPKI / SDSI