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

Emiliano Lorini, Robert Demolombe. Trust and Norms in the Context of Computer Security: A Logical Formalization. In Ron van der Meyden, Leendert van der Torre, editors, Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings. Volume 5076 of Lecture Notes in Computer Science, pages 50-64, Springer, 2008. [doi]

Abstract

Abstract is missing.