Araujo, Andréa, E 		Pedroza, Aloysio.
" Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (10 maio 2004)