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

(39)

• Core TuLiP Logic Programming for Trust Management
• Trust in the λ-calculus
• scientific article; zbMATH DE number 7368427 (Why is no real title available?)
• Modeling trusted computing
• scientific article; zbMATH DE number 1975128 (Why is no real title available?)
• Trust domains in system models: algebra, logic, utility, and combinators
• A complete fuzzy logical system to deal with trust management systems
• scientific article; zbMATH DE number 1983273 (Why is no real title available?)
• scientific article; zbMATH DE number 2084510 (Why is no real title available?)
• A modal type theory for formalizing trusted communications
• A probabilistic modal logic for context-aware trust based on evidence
• 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
• Propositional trust logics
• scientific article; zbMATH DE number 1405887 (Why is no real title available?)
• 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
• An epistemic logic for becoming informed
• A logic of negative trust
• 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

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)