Trust and Norms in the Context of Computer Security: A Logical Formalization