Trust Management
From MaRDI portal
Publication:5307995
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
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)