Piva, F., Monteiro, J., & Dahab, R. (2007). 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, (pp. 149-162). Porto Alegre: SBC. doi:10.5753/sbseg.2007.20924