Challenges for Decidable Epistemic Logics from Security Protocols

DOI10.1007/978-94-007-0714-6_13zbMath1317.03023OpenAlexW29355381MaRDI QIDQ5261302

No author found.

Publication date: 3 July 2015

Published in: Games, Norms and Reasons (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0714-6_13

zbMATH Keywords

decidabilityepistemic logicsecurity protocols

Mathematics Subject Classification ID

Cryptography (94A60) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Challenges for Decidable Epistemic Logics from Security Protocols