Challenges for Decidable Epistemic Logics from Security Protocols

DOI10.1007/978-94-007-0714-6_13zbMATH Open1317.03023OpenAlexW29355381MaRDI QIDQ5261302FDOQ5261302

Author name not available (Why is that?)

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)

Cited In (3)

• Decidability and combination results for two notions of knowledge in security protocols
• Two Applications of Epistemic Logic in Computer Security
• Automata, Languages and Programming

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261302)