Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.

Indranil Saha, Debapriyay Mukhopadhyay

Browse the full ICISS paper archive.