@Inproceedings{EPTCS7.4, author = {Guttman, Joshua D.}, year = {2009}, title = {Fair Exchange in Strand Spaces}, editor = {Boreale, Michele and Kremer, Steve}, booktitle = {{\rm Proceedings 7th International Workshop on} Security Issues in Concurrency, {\rm Bologna, Italy, 5th September 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {7}, publisher = {Open Publishing Association}, pages = {46-60}, doi = {10.4204/EPTCS.7.4}, }