Challenges for decidable epistemic logics from security protocols

DOI10.1007/978-94-007-0714-6_13MaRDI QIDQ5261302zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

decidabilityepistemic logicsecurity protocols

Mathematics Subject Classification ID

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

Recommendations

• To know or not to know: Epistemic approaches to security protocol verification
• Update semantics of security protocols
• Reasoning about protocol change and knowledge
• `On being informed': Update logics for knowledge states
• Knowledge in communication networks

Cited in

(5)

• Reasoning about protocol change and knowledge
• Decidability and combination results for two notions of knowledge in security protocols
• Hidden protocols: modifying our expectations in an evolving world
• Two Applications of Epistemic Logic in Computer Security
• Deciding knowledge in security protocols under equational theories

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)