Challenges for decidable epistemic logics from security protocols

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

Authors:

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

Recommendations

• To know or not to know: Epistemic approaches to security protocol verification
• Update semantics of security protocols
• Reasoning about protocol change and knowledge
• scientific article; zbMATH DE number 1759365
• Knowledge in communication networks

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 (5)

• Reasoning about protocol change and knowledge
• Decidability and combination results for two notions of knowledge in security protocols
• Two Applications of Epistemic Logic in Computer Security
• Automata, Languages and Programming
• Hidden protocols: modifying our expectations in an evolving world

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)