MAIA NETO, Antonio L.; 						CUNHA, Ítalo; 						OLIVEIRA, Leonardo B..
 Uma Extensão de Framework de Análise de Protocolos de Composibilidade Universal para Acordo de Chaves com Autenticação Baseado em Identidade. <em>In</em>: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 21.	, 2021, Belém.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2021
.
 p. 141-154. 
		DOI: <a href="https://doi.org/10.5753/sbseg.2021.17312">https://doi.org/10.5753/sbseg.2021.17312</a>.