An epistemic foundation for authentication logics (extended abstract)

MaRDI QIDQ3384076zbMATH OpenFDO

Authors Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08750, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.21

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• A quantifier-free first-order knowledge logic of authentication
• To know or not to know: Epistemic approaches to security protocol verification
• A logic of authentication
• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• Publication:4934730

Cites work

• scientific article; zbMATH DE number 3960854 (Why is no real title available?)
• scientific article; zbMATH DE number 48151 (Why is no real title available?)
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A semantics for a logic of authentication (extended abstract)
• Automata, Languages and Programming
• Automatic verification of temporal-epistemic properties of cryptographic protocols
• Belief as defeasible knowledge
• Computer Aided Verification
• Formal semantics for authentication logics
• Foundations of Cryptography
• Knowledge and common knowledge in a distributed environment
• Knowledge, probability, and adversaries
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• The random oracle methodology, revisited.
• Theory of Cryptography
• To know or not to know: Epistemic approaches to security protocol verification
• Towards an awareness-based semantics for security protocol analysis

Cited in

(7)

• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• scientific article; zbMATH DE number 4215344 (Why is no real title available?)
• scientific article; zbMATH DE number 1330437 (Why is no real title available?)
• Formal semantics for authentication logics
• Knowledge structure approach to verification of authentication protocols
• Two Applications of Epistemic Logic in Computer Security
• A quantifier-free first-order knowledge logic of authentication

This page was built for publication: An epistemic foundation for authentication logics (extended abstract)

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