Computer-aided decision-making with trust relations and trust domains (cryptographic applications)

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Journal of Logic and Computation

• Publication date

  2014-02-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1093/logcom/exs013
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• I and J

  2012cited by this paper
• Liars and Outliers

  2012cited by this paper
• Handbook of risk theory : epistemology, decision theory, ethics, and social implications of risk

  2012cited by this paper
• A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)

  2012cited by this paper
• A modal type theory for formalizing trusted communications

  2012cited by this paper
• Logic in the Community

  2011cited by this paper
• Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography

  2010cited by this paper
• Cryptography Engineering - Design Principles and Practical Applications

  2010cited by this paper
• Semantics of Trust

  2010cited by this paper
• e-Passports as a means towards a Globally Interoperable Public Key Infrastructure

  2010influential reference
• Establishing Trust in Cloud Computing

  2010cited by this paper
• Trust and the Internet

  2010cited by this paper
• Search Computing: Managing Complex Search Queries

  2010cited by this paper
• Trusted Computing

  2010cited by this paper
• Handbook of Information and Communication Security

  2010cited by this paper
• Security, Group Size, and the Human Brain

  2009cited by this paper
• Identity-Based Cryptography

  2009cited by this paper
• Trusted Computing: Security and Applications

  2009cited by this paper
• Data Security in the World of Cloud Computing

  2009cited by this paper
• Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

  2009cited by this paper
• Trusting the cloud

  2009cited by this paper
• A calculus of trust and its application to PKI and identity management

  2009cited by this paper
• A quantitative doxastic logic for probabilistic processes and applications to information-hiding

  2009cited by this paper
• Beautiful Security - Leading Security Experts Explain How They Think

  2009cited by this paper
• In Clouds Shall We Trust?

  2009cited by this paper
• A Proof Theoretic Analysis of Intruder Theories

  2008cited by this paper
• Applications of Squares of Oppositions and Their Generalizations in Philosophical Analysis

  2008cited by this paper
• Identity- Based Cryptography

  2008cited by this paper
• Security engineering - a guide to building dependable distributed systems (2. ed.)

  2008cited by this paper
• The tractability of model checking for LTL: The good, the bad, and the ugly fragments

  2008cited by this paper
• Handbook of Modal Logic

  2007cited by this paper
• A survey of trust and reputation systems for online service provision

  2007cited by this paper
• Hybrid logics

  2007cited by this paper
• On trust management in grids

  2007cited by this paper
• Modal mu-calculi

  2007cited by this paper
• Modal logic: a semantic perspective

  2007cited by this paper
• The complexity of fixed point models of trust in distributed networks

  2007cited by this paper
• A New Approach to PGP's Web of Trust

  2007cited by this paper
• Game theory - a very short introduction

  2007cited by this paper
• Intelligent agents and common sense reasoning

  2007cited by this paper
• Social Software

  2006cited by this paper
• An ontology of trust: formal semantics and transitivity

  2006cited by this paper
• Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)

  2006cited by this paper
• A Description Logic for PKI Trust Domain Modeling

  2005cited by this paper
• Analysis and Modelling of Trust in Distributed Information Systems

  2005cited by this paper
• Trust Management Survey

  2005cited by this paper
• A Formal Definition for Trust in Distributed Systems

  2005cited by this paper
• Encyclopedia of Cryptography and Security

  2005cited by this paper
• PKI past, present and future

  2005cited by this paper
• Trust, Untrust, Distrust and Mistrust - An Exploration of the Dark(er) Side

  2005cited by this paper
• Ten Risks of PKI

  2004cited by this paper
• Towards a theory of data entanglement

  2004cited by this paper
• Reasoning About Trust: A Formal Logical Framework

  2004cited by this paper
• Γ and B

  2004cited by this paper
• Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation

  2003cited by this paper
• Protocols for Authentication and Key Establishment

  2003cited by this paper
• In trust we trust.

  2003cited by this paper
• A formal model for trust in dynamic networks

  2003cited by this paper
• The Complexity of Temporal Logic Model Checking

  2002cited by this paper
• Qualitative Social Work

  2002cited by this paper
• Security engineering - a guide to building dependable distributed systems

  2001cited by this paper
• An Axiomatic Basis for Reasoning about Trust in PKIs

  2001cited by this paper
• Trust in cyberspace

  2000cited by this paper
• Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

  2000cited by this paper
• An overview of PKI trust models

  1999cited by this paper
• The Global Internet Trust Register

  1999cited by this paper
• The inductive approach to verifying cryptographic protocols

  1998cited by this paper
• Dynamic epistemic logic

  1998cited by this paper
• Complexity and expressive power of logic programming

  1997cited by this paper
• Logic and Databases: A 20 Year Retrospective

  1996cited by this paper
• Modelling a Public-Key Infrastructure

  1996cited by this paper
• Reasoning about knowledge

  1995cited by this paper
• The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic

  1995cited by this paper
• Temporal Logic Mathematical Foundations and Computational Aspects

  1994cited by this paper
• Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1

  1994cited by this paper
• Distributed Algorithms

  1992cited by this paper
• A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief

  1992cited by this paper
• Introduction to lattices and order

  1990cited by this paper
• An axiomatic basis of trust in distributed systems

  1988cited by this paper
• Knowledge and common knowledge in a distributed environment

  1984cited by this paper
• Protocols for secure computations

  1982cited by this paper
• On the security of public key protocols

  1981cited by this paper
• Visual Querying by Color Perceptive Regions

  year unknowncited by this paper
• A Multi-Modal Framework for Achieving Accountability in Multi-Agent Systems

  year unknowninfluential reference
• and Practical

  year unknowninfluential reference

• Survey on Computational Trust and Reputation Models

  2018cites this paper
• The Semantics of Untrustworthiness

  2013cites this paper