@INPROCEEDINGS {4810,
author={J.C. Cederquist and  },
booktitle={International Workshop on Formal Aspects of Security and Trust - FAST},
title={Formal Analysis of a Fair Payment Protocol},
year={2004},
month={August},
volume={IFIP, volume 173},
pages={41-54} 
}
Create and download bib file