scientific article; zbMATH DE number 1956510

MaRDI QIDQ4417856zbMATH OpenFDO

Authors Bruno Blanchet, Andreas Podelski

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200136.htm

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1614701
• Dynamic tags for security protocols
• scientific article; zbMATH DE number 1759624

Cited in

(9)

• Safely composing security protocols
• Verification of cryptographic protocols: tagging enforces termination
• Composition of password-based protocols
• Deciding equivalence-based properties using constraint solving
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• Skeletons, homomorphisms, and shapes: characterizing protocol executions
• Safely Composing Security Protocols
• A method for symbolic analysis of security protocols
• A (restricted) quantifier elimination for security 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 Q4417856)