Requirements Engineering for Trust Management: Model, Methodology, and Reasoning