@InProceedings{NS02,
author={G. Norman and V. Shmatikov},
title={Analysis of Probabilistic Contract Signing},
booktitle={Proc. BCS-FACS  Formal Aspects of Security (FASec'02)},
year={2003},

editor={A. Abdallah and P. Ryan and S. Schneider},
pages={81--96},
organization={},
publisher={Springer},
series={LNCS},
volume={2629},
_month={December},
note={},
key={}
}