A temporalised belief logic for reasoning about authentication protocols

Autoren Ji Ma
Klaus-Dieter Schewe
Editoren G. Min
Y. Wu
L. Liu
X. Jin
S. Jarvis
A.Y. Al-Dubai
Titel A temporalised belief logic for reasoning about authentication protocols
Buchtitel Proceedings of the 11th IEEE International Conference on Ubiquitous Computing and Communications (IUCC 2012)
Typ in Konferenzband
Verlag IEEE
Monat June
Jahr 2012
Seiten 1721-1728
SCCH ID# 1221
Abstract

Trust is a critical issue for communication systems. A theory of trust for a given system consists of a set of rules that describe the trust of agents in the system. In a certain logical framework, the theory is generally established based on the security mechanisms of the system. Such a theory provides a foundation for reasoning about agent beliefs as well as security properties that the system may satisfy. For modelling authentication protocols, many researchers have proposed different logical systems. Since communication systems operate in dynamic environments, it is important to model the temporal aspects of such systems in a systematic way. In this paper, we propose a temporalised belief logic called TBL for formalising and verifying authentication protocols.