Andréa Araujo and Aloysio Pedroza. 2004.
Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc. In <em>Anais do IV Workshop em Segurança de Sistemas Computacionais</em>, maio 10, 2004, Gramado, Brasil. SBC, Porto Alegre, Brasil, 164-175. DOI: <a href="https://doi.org/10.5753/sbseg.2004.21235">https://doi.org/10.5753/sbseg.2004.21235</a>.