Piva, Fabio, 		Monteiro, José, 		Devegili, Augusto, E 		Dahab, Ricardo.
" Applying Strand Spaces to Certified Delivery Proofs" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (28 agosto 2006)