Piva, Fabio, José R. M. Monteiro, and Ricardo Dahab.
" Strand spaces and fair exchange: More on how to trace attacks and security problems." <em>Proceedings of the 7th Brazilian Symposium on Information and Computational Systems Security,
Rio de Janeiro, 2007</em>. SBC, 2007,  
pp.149-162.