Logical foundations for reasoning about trust in secure digital communication

DOI10.1007/3-540-45656-2_29MaRDI QIDQ4475162zbMATH OpenFDO

Authors Chuchang Liu

Publication date 9 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2256/22560333.htm

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Trust in secure communication systems -- the concept, representations, and reasoning techniques
• An axiomatic basis for reasoning about trust in PKIs
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• Consistency of trust theories
• Trust Management

Cited in

(12)

• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Cognitive reasoning and trust in human-robot interactions
• An axiomatic basis for reasoning about trust in PKIs
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• A modal type theory for formalizing trusted communications
• A trust policy framework
• Trust in secure communication systems -- the concept, representations, and reasoning techniques
• Consistency of trust theories
• An analytic tableau calculus for a temporalised belief logic
• Reasoning About Trust and Belief Change on a Social Network: A Formal Approach
• scientific article; zbMATH DE number 6741937 (Why is no real title available?)
• Information Security

This page was built for publication: Logical foundations for reasoning about trust in secure digital communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4475162)