scientific article
From MaRDI portal
Publication:3384076
zbMath1483.03008arXiv1707.08750MaRDI QIDQ3384076
Ron van der Meyden, Joseph Y. Halpern, Riccardo Pucella
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1707.08750
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- To know or not to know: Epistemic approaches to security protocol verification
- A calculus for cryptographic protocols: The spi calculus
- Belief as defeasible knowledge
- Reconciling two views of cryptography (The computational soundness of formal encryption)
- Towards an Awareness-Based Semantics for Security Protocol Analysis
- The random oracle methodology, revisited
- Knowledge and common knowledge in a distributed environment
- Knowledge, probability, and adversaries
- Foundations of Cryptography
- Formal semantics for authentication logics
- Automatic verification of temporal-epistemic properties of cryptographic protocols
- A semantics for a logic of authentication (extended abstract)
- Computer Aided Verification
- Automata, Languages and Programming
- Theory of Cryptography
This page was built for publication:
