Antonio Maia Neto, Ítalo Cunha, and Leonardo Oliveira. 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>, outubro 04, 2021, Belém, Brasil. SBC, Porto Alegre, Brasil, 141-154. DOI: <a href="https://doi.org/10.5753/sbseg.2021.17312">https://doi.org/10.5753/sbseg.2021.17312</a>.