scientific article; zbMATH DE number 1390339
From MaRDI portal
Publication:4934628
Recommendations
Cited in
(20)- Finite-state analysis of two contract signing protocols
- Contract signing, optimism, and advantage
- Information based reasoning about security protocols
- Automated analysis of security protocols
- Extending security protocol analysis: new challenges
- Modeling group communication protocols using multiset term rewriting
- Cryptographic Protocols Analysis in Event B
- An improved formal model of cryptographic protocols
- scientific article; zbMATH DE number 1962758 (Why is no real title available?)
- scientific article; zbMATH DE number 2043474 (Why is no real title available?)
- scientific article; zbMATH DE number 1927582 (Why is no real title available?)
- scientific article; zbMATH DE number 1759789 (Why is no real title available?)
- scientific article; zbMATH DE number 1857525 (Why is no real title available?)
- scientific article; zbMATH DE number 1884407 (Why is no real title available?)
- scientific article; zbMATH DE number 2090061 (Why is no real title available?)
- LTL model checking for security protocols
- Formalization in PVS of balancing properties necessary for proving security of the Dolev-Yao cascade protocol model
- scientific article; zbMATH DE number 2202251 (Why is no real title available?)
- Security Analysis of CPace
- A Symbolic Model for Systematically Analyzing TEE-Based Protocols
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934628)
