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

DOI10.1007/978-3-540-70525-3_6zbMath1143.03346OpenAlexW1522608080MaRDI QIDQ3522042

Robert Demolombe, Emiliano Lorini

Publication date: 28 August 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70525-3_6

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Intruder deducibility constraints with negation. Decidability and application to secured service compositions ⋮ Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Handbook of philosophical logic. Vol. 8
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• A logic of intention and attempt
• A logical approach to the dynamics of commitments
• Intention is choice with commitment
• Introducing Attempt in a Modal Logic of Intentional Action
• From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
• Trust Management
• Computational Logic in Multi-Agent Systems

This page was built for publication: Trust and Norms in the Context of Computer Security: A Logical Formalization