ARAUJO, Andréa Martins; PEDROZA, Aloysio de Castro P.. Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc. In: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 4. , 2004, Gramado. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2004 . p. 164-175. DOI: https://doi.org/10.5753/sbseg.2004.21235.