Formal aspects of a generic model of trust for electronic commerce