Amir Jalaly Bidgoly, Behrouz Tork Ladani. Quantitative verification of beta reputation system using PRISM probabilistic model checker. In 10th International ISC Conference on Information Security and Cryptology, ISCISC 2013, Yazd, Iran, August 29-30, 2013. pages 1-6, IEEE, 2013. [doi]
Abstract is missing.