Formal aspects of a generic model of trust for electronic commerce | IEEE Conference Publication | IEEE Xplore