An Epistemic Foundation for Authentication Logics (Extended Abstract)

Autor:	Halpern, Joseph Y., van der Meyden, Ron, Pucella, Riccardo
Rok vydání:	2017
Předmět:	Computer Science - Cryptography and Security Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science Computer Science - Multiagent Systems
Zdroj:	EPTCS 251, 2017, pp. 306-323
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.251.21
Popis:	While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen. We present a simple logic based on the well-understood modal operators of knowledge, time, and probability, and show that it is able to handle issues that have often been swept under the rug by other approaches, while being flexible enough to capture all the higher- level security notions that appear in BAN logic. Moreover, while still assuming that the knowledge operator allows for unbounded computation, it can handle the fact that a computationally bounded agent cannot decrypt messages in a natural way, by distinguishing strings and message terms. We demonstrate that our logic can capture BAN logic notions by providing a translation of the BAN operators into our logic, capturing belief by a form of probabilistic knowledge. Comment: In Proceedings TARK 2017, arXiv:1707.08250
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1707.08750 Zobrazit plný text záznamu View this record from Arxiv