Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
Mai-2006 | Mai-2006 | Um Framework baseado em grupos de agentes de software especializados para construção de sistemas distribuídos de detecção de intrusão em redes de computadores | Serique Júnior, Luiz Fernando Sirotheau | Sousa Júnior, Rafael Timóteo de | - |
2-Abr-2012 | 19-Ago-2011 | Uso de raciocínio baseado em casos na simulação de análise live | Mesquita, Frederico Imbroisi | Ralha, Célia Ghedini; Hoelz, Bruno Werneck Pinto | - |
2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |