A Formal Model for Security Analysis of Trust and Reputation systems | IEEE Conference Publication | IEEE Xplore