Theories of trust for communication protocols

Ji Ma*, Mehmet A. Orgun, Abdul Sattar

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


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.

Original languageEnglish
Title of host publicationAutonomic and Trusted Computing
Subtitle of host publication6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
EditorsJuan González Nieto, Wolfgang Reif, Guojun Wang, Jadwiga Indulska
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Number of pages13
ISBN (Electronic)9783642027048
ISBN (Print)9783642027031
Publication statusPublished - 2009
Event6th International Conference on Autonomic and Trusted Computing, ATC 2009 - Brisbane, QLD, Australia
Duration: 7 Jul 20099 Jul 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other6th International Conference on Autonomic and Trusted Computing, ATC 2009
CityBrisbane, QLD


Dive into the research topics of 'Theories of trust for communication protocols'. Together they form a unique fingerprint.

Cite this