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