Trust Management

DOI10.1007/B96545zbMATH Open1126.68646OpenAlexW4230393658MaRDI QIDQ5307995FDOQ5307995

Authors: Robert Demolombe 

Publication date: 25 September 2007

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

Full work available at URL: https://doi.org/10.1007/b96545

Recommendations

• A logic of trust and reputation
• Reasoning about trust and aboutness in the context of communication
• From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• A logic of negative trust

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cited In (39)

• Title not available (Why is that?)
• Modeling trusted computing
• Title not available (Why is that?)
• Trust domains in system models: algebra, logic, utility, and combinators
• Title not available (Why is that?)
• Title not available (Why is that?)
• A complete fuzzy logical system to deal with trust management systems
• A probabilistic modal logic for context-aware trust based on evidence
• A modal type theory for formalizing trusted communications
• From belief to trust: A quantitative framework based on modal logic
• Computational Logic in Multi-Agent Systems
• A computationally grounded logic of graded belief
• Towards a Formal Framework for Computational Trust
• A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
• From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
• A possible worlds semantics for trustworthy non-deterministic computations
• On the Normative Aspect of Signalling Conventions
• Reasoning about trust and aboutness in the context of communication
• Trust and agency in the context of communication
• Trust evidence logic
• Title not available (Why is that?)
• Propositional trust logics
• A formalization of credit and responsibility within the GNDC schema
• How strong can an agent believe reported information?
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• Evaluation of information reported: A model in the theory of evidence
• Trust-based belief change
• A formal apparatus for modeling trust in computing environments
• Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
• A Formal Derivation of Composite Trust
• A logic of negative trust
• An epistemic logic for becoming informed
• A logic of trust and reputation
• Deontic reasoning with incomplete trust
• Transitivity and propagation of trust in information sources: an analysis in modal logic
• The semantics of untrustworthiness
• Core TuLiP Logic Programming for Trust Management
• Trust in the λ-calculus

This page was built for publication: Trust Management

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