Proof techniques for cryptographic protocols
From MaRDI portal
Recommendations
Cited in
(32)- A calculus for cryptographic protocols: The spi calculus
- Proof of soundness (integrity) of cryptographic protocols
- Three systems for cryptographic protocol analysis
- Authentication tests and the structure of bundles.
- Logics for reasoning about cryptographic constructions
- Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk)
- Simulation and analysis of cryptographic protocols
- Proof techniques for cryptographic processes
- Models for an adversary-centric protocol logic
- Automated analysis of security protocols
- Demonstration of the modified CSN-logic
- An attack on a recursive authentication protocol. A cautionary tale
- Alice and Bob meet equational theories
- Active linking attacks
- scientific article; zbMATH DE number 2086169 (Why is no real title available?)
- scientific article; zbMATH DE number 4191559 (Why is no real title available?)
- Cryptographic Protocol Explication and End-Point Projection
- Non-standard Attacks against Cryptographic Protocols, with an Example over a Simplified Mutual Authentication Protocol
- Models and Proofs of Protocol Security: A Progress Report
- Study of protocol composition logic
- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
- scientific article; zbMATH DE number 3965967 (Why is no real title available?)
- Robustness principles for public key protocols
- Foundations of Software Science and Computation Structures
- Automated Technology for Verification and Analysis
- Trustworthy Global Computing
- Errors in Computational Complexity Proofs for Protocols
- Context-sensitive equivalences for non-interference based protocol analysis.
- A game-theoretic framework for specification and verification of cryptographic protocols
- Deciding cryptographic protocol adequacy with HOL: the implementation
- Formal analysis of PIN block attacks
- Efficient representation of the attacker's knowledge in cryptographic protocols analysis
This page was built for publication: Proof techniques for cryptographic protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938617)
