Araujo, Andréa, AND 		Pedroza, Aloysio.
" Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (10 May 2004)