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

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

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

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)