Trust and Norms in the Context of Computer Security: A Logical Formalization. - Lorini, Emiliano; Demolombe, Robert (2008)