Model checking of robustness properties in trust and reputation systems

Seyed Asgary Ghasempouri, Behrouz Tork Ladani. Model checking of robustness properties in trust and reputation systems. Future Generation Comp. Syst., 108:302-319, 2020. [doi]

Abstract

Abstract is missing.