Piva, F., Monteiro, J., Devegili, A., & Dahab, R. (2006). Applying Strand Spaces to Certified Delivery Proofs. In Anais do VI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, (pp. 72-85). Porto Alegre: SBC. doi:10.5753/sbseg.2006.20940