@inproceedings{sbseg,
 author = {Antonio Maia Neto and Italo Cunha and Leonardo B. Oliveira},
 title = {{Uma Extensão de Framework de Análise de Protocolos de Composibilidade Universal para Acordo de Chaves com Autenticação Baseado em Identidade}},
 booktitle = {Anais do SBSeg},
 location = {Belém},
 year = {2021},
 pages = {141--154},
 publisher = {SBC},
 doi = {10.5753/sbseg.2021.17312},
}