A. Maia Neto, Í. Cunha, and L. Oliveira.
"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>, Belém, 2021, pp. 141-154, doi: <a href="https://doi.org/10.5753/sbseg.2021.17312">https://doi.org/10.5753/sbseg.2021.17312</a>.