Study of E-commerce Trust Management Formal Model Based on Reputation | IEEE Conference Publication | IEEE Xplore