F. Piva, J. Monteiro, and R. Dahab.
" Strand spaces and fair exchange: More on how to trace attacks and security problems", in <em>Proceedings of the 7th Brazilian Symposium on Information and Computational Systems Security</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>.