Text this: Modeling and verification of trust and reputation systems.