Maia Neto, A., 		Cunha, Ã., & 		Oliveira, L.
2021 out  4.  Uma Extensão de Framework de Análise de Protocolos de Composibilidade Universal para Acordo de Chaves com Autenticação Baseado em Identidade. Anais do Simpósio Brasileiro de Cibersegurança (SBSeg). [Online] :