Simulation and analysis of cryptographic protocols
From MaRDI portal
Recommendations
- A calculus for cryptographic protocols: The spi calculus
- Composition of cryptographic protocols in a probabilistic polynomial-time process calculus.
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
- Reasoning about cryptographic protocols in the spi calculus
- scientific article; zbMATH DE number 1405638
Cited in
(15)- A calculus for cryptographic protocols: The spi calculus
- A static analysis of cryptographic processes: the denotational approach
- Synthesising efficient and effective security protocols
- Protocol composition logic (PCL)
- Calculus of cooperation and game-based reasoning about protocol privacy
- Encryption Simulatability Reconsidered
- Time-dependent cryptographic protocol logic and its formal semantics
- Cryptographic Protocols Analysis in Event B
- scientific article; zbMATH DE number 1405638 (Why is no real title available?)
- Methodology for assessing the security of cryptographic protocols
- Simulation of security protocols based on scenarios of attacks
- Security analysis model of behavior based on cryptographic protocols implement at source code level
- Introducing commutative and associative operators in cryptographic protocol analysis
- Efficient representation of the attacker's knowledge in cryptographic protocols analysis
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
This page was built for publication: Simulation and analysis of cryptographic protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765456)
