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