Piva, Fabio, José R. M. Monteiro, Augusto J. Devegili, and Ricardo Dahab.
"Applying Strand Spaces to Certified Delivery Proofs." <em>Anais do VI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais,
Santos, 2006</em>. SBC, 2006,  
pp.72-85.