Maia Neto, Antonio, 		Cunha, Ítalo, E 		Oliveira, Leonardo.
" Uma Extensão de Framework de Análise de Protocolos de Composibilidade Universal para Acordo de Chaves com Autenticação Baseado em Identidade" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (4 outubro 2021)