@InProceedings{SM09,
author={I. Saha and D. Mukhopadhyay},
title={Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking},
booktitle={Proc. 5th International Conference on Information Systems Security (ICISS'09)},
year={2009},

editor={},
pages={292--300},
organization={},
publisher={Springer},
series={LNCS},
volume={5905},
address={},
month={},
note={},
key={}
}