|
[SM09]
I. Saha and D. Mukhopadhyay.
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.
In Proc. 5th International Conference on Information Systems Security (ICISS'09), volume 5905 of LNCS, pages 292-300, Springer.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|