F. Piva, J. Monteiro, A. Devegili, and R. Dahab.
"Applying Strand Spaces to Certified Delivery Proofs", in <em>Anais do VI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, Santos, 2006, pp. 72-85, doi: <a href="https://doi.org/10.5753/sbseg.2006.20940">https://doi.org/10.5753/sbseg.2006.20940</a>.