Araujo, A., & 		Pedroza, A.
(2004).
 Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc.
In <em>Proceedings of the 4th Workshop on Computer Systems Security</em>, (pp. 164-175). Porto Alegre: SBC.
doi:10.5753/sbseg.2004.21235