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 proceedingChapter

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.

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
Pages236-248
Number of pages13
ISBN (Electronic)9783642027048
ISBN (Print)9783642027031
DOIs
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
Volume5586
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Conference on Autonomic and Trusted Computing, ATC 2009
CountryAustralia
CityBrisbane, QLD
Period7/07/099/07/09

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

Cite this