F. Piva, J. Monteiro, and R. Dahab.
" Strand spaces and fair exchange: More on how to trace attacks and security problems", in <em>Anais do VII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, Rio de Janeiro, 2007, pp. 149-162, doi: <a href="https://doi.org/10.5753/sbseg.2007.20924">https://doi.org/10.5753/sbseg.2007.20924</a>.