Theories of Trust for Communication Protocols

Authors:
Ji Ma;Mehmet A. Orgun;Abdul Sattar
Affiliations:
Department of Computing, Macquarie University, Sydney, Australia NSW 2109 and School of Information and Communication Technology, Griffith University, Queensland, Australia 4111;Department of Computing, Macquarie University, Sydney, Australia NSW 2109;School of Information and Communication Technology, Griffith University, Queensland, Australia 4111
Venue:
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Year:
2009

Citing 19
Cited 0

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
A semantics for a logic of authentication (extended abstract)

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Properties of independently axiomatizable bimodal logics

Journal of Symbolic Logic
Extending cryptographic logics of belief to key agreement protocols

CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
Dealing with multiple granularity of time in temporal logic programming

Journal of Symbolic Computation - Special issue: executable temporal logics
Fibring Logics, Dov M. Gabbay

Journal of Logic, Language and Information
Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques

AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Logical Foundations for Reasoning about Trust in Secure Digital Communication

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Designing Secure Key Exchange Protocols

ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
Formal Semantics for Authentication Logics

ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
Trust Relationships in Secure Systems-A Distributed Authentication Perspective

SP '93 Proceedings of the 1993 IEEE Symposium on Security and Privacy
Decentralized Trust Management

SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Combining logics for modelling security policies

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems

DASC '06 Proceedings of the 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing
Kalman filter and joint tracking and classification based on belief functions in the TBM framework

Information Fusion
Formalising theories of trust for authentication protocols

Information Systems Frontiers
Modal tableaux for verifying stream authentication protocols

Autonomous Agents and Multi-Agent Systems
A fibred belief logic for multi-agent systems

AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday

Quantified Score

Hi-index	0.00

Visualization

Abstract

Trust is a critical issue for communication protocols in open systems that operate in dynamic and highly uncertain environments. It influences not only the specification of security policies but also the techniques needed to manage and implement security policies. A formal system for the specification of trust for such systems requires the ability to reason about agent beliefs as well as the evolution of the system through time. In this paper, we use a fibred logic called FL which is obtained by combining a belief logic with a temporal logic for specifying agent beliefs and establishing trust theories for communication protocols. A theory of trust for a given system is captured by a set of rules in FL that describes the trust of agents in the system. This enables automated reasoning about theories of trust using the decision procedures of FL such as axiom systems and tableaux. Theories of trust are generally established based on the initial trust of agents in the security mechanisms of the system in which they are deployed. Such theories provide a foundation for reasoning about agent beliefs as well as security properties that systems may satisfy.