Piva, Fabio, 		Monteiro, José, 		Devegili, Augusto, AND 		Dahab, Ricardo.
" Applying Strand Spaces to Certified Delivery Proofs" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (28 August 2006)