Injeção de ataques baseado em modelo para teste de protocolos de segurança - Morais, Anderson Nunes Paiva (2009)
Orientadores: Eliane Martins, Ricardo de Oliveira Anido