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.