Trust Management

DOI10.1007/B96545MaRDI QIDQ5307995zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(42)

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

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)