Vitaly Shmatikov, John C. Mitchell. Analysis of a Fair Exchange Protocol. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2000, San Diego, California, USA. The Internet Society, 2000. [doi]
@inproceedings{ShmatikovM00:0,
title = {Analysis of a Fair Exchange Protocol},
author = {Vitaly Shmatikov and John C. Mitchell},
year = {2000},
url = {http://www.isoc.org/isoc/conferences/ndss/2000/proceedings/001.pdf},
tags = {protocol, analysis, C++},
researchr = {https://researchr.org/publication/ShmatikovM00%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Network and Distributed System Security Symposium, NDSS 2000, San Diego, California, USA},
publisher = {The Internet Society},
isbn = {1-891562-07-X},
}