Piva, Fabio, Monteiro, José, AND Dahab, Ricardo. " Strand spaces and fair exchange: More on how to trace attacks and security problems" Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg) [Online], (27 August 2007)