Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers

Amir Jalaly Bidgoly, Behrouz Tork Ladani. Modeling and Quantitative Verification of Trust Systems Against Malicious Attackers. Comput. J., 59(7):1005-1027, 2016. [doi]

Abstract

Abstract is missing.