An epistemic foundation for authentication logics (extended abstract)
From MaRDI portal
Publication:3384076
zbMATH Open1483.03008arXiv1707.08750MaRDI QIDQ3384076FDOQ3384076
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
Recommendations
Cites Work
- Title not available (Why is that?)
- A calculus for cryptographic protocols: The spi calculus
- The random oracle methodology, revisited.
- Foundations of Cryptography
- Knowledge and common knowledge in a distributed environment
- Knowledge, probability, and adversaries
- Computer Aided Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reconciling two views of cryptography (The computational soundness of formal encryption)
- Belief as defeasible knowledge
- Automata, Languages and Programming
- Theory of Cryptography
- Towards an awareness-based semantics for security protocol analysis
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- A semantics for a logic of authentication (extended abstract)
- To know or not to know: Epistemic approaches to security protocol verification
- Title not available (Why is that?)
- Formal semantics for authentication logics
Cited In (7)
- An omniscience-free temporal logic of knowledge for verifying authentication protocols
- Title not available (Why is that?)
- A quantifier-free first-order knowledge logic of authentication
- Knowledge structure approach to verification of authentication protocols
- Two Applications of Epistemic Logic in Computer Security
- Title not available (Why is that?)
- Formal semantics for authentication logics
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)
