Piva, F., Monteiro, J., Devegili, A., & Dahab, R. 2006 ago 28. Applying Strand Spaces to Certified Delivery Proofs. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :