Fabio Piva, José Monteiro, and Ricardo Dahab. 2007. Strand spaces and fair exchange: More on how to trace attacks and security problems. In Proceedings of the 7th Brazilian Symposium on Information and Computational Systems Security, August 27, 2007, Rio de Janeiro, Brasil. SBC, Porto Alegre, Brasil, 149-162. DOI: https://doi.org/10.5753/sbseg.2007.20924.