Requirements engineering for trust management: model, methodology, and reasoning