Abstract interpretation for proving secrecy properties in security protocols
From MaRDI portal
Recommendations
Cites work
- A calculus for cryptographic protocols: The spi calculus
- A calculus of mobile processes. II
- A logic of authentication
- A semantics for a logic of authentication (extended abstract)
- An attack on the Needham-Schroeder public-key authentication protocol
- Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
- Designing secure key exchange protocols
- scientific article; zbMATH DE number 1696909 (Why is no real title available?)
- scientific article; zbMATH DE number 4215344 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 1479606 (Why is no real title available?)
Cited in
(11)- Security protocols: from linear to classical logic by abstract interpretation
- Abstracting cryptographic protocols with tree automata.
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
- scientific article; zbMATH DE number 1583798 (Why is no real title available?)
- A Dolev-Yao-Based Definition of Abuse-Free Protocols
- scientific article; zbMATH DE number 1330434 (Why is no real title available?)
- scientific article; zbMATH DE number 1956589 (Why is no real title available?)
- scientific article; zbMATH DE number 1487854 (Why is no real title available?)
- scientific article; zbMATH DE number 1832234 (Why is no real title available?)
- Foundations of Software Science and Computation Structures
- Abstractions preserving parameter confidentiality
This page was built for publication: Abstract interpretation for proving secrecy properties in security protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841216)
