Maia Neto, A., 		Cunha, Í., & 		Oliveira, L.
(2021).
Uma Extensão de Framework de Análise de Protocolos de Composibilidade Universal para Acordo de Chaves com Autenticação Baseado em Identidade.
In <em>Anais do XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, (pp. 141-154). Porto Alegre: SBC.
doi:10.5753/sbseg.2021.17312