Modeling and verification of trust and reputation systems. - Aldini, Alessandro (Security & Communication Networks, 2015)