Searching for Shapes in Cryptographic Protocols

DOI10.1007/978-3-540-71209-1_41MaRDI QIDQ5758128zbMATH OpenOpenAlexFDO

Authors

Publication date 3 September 2007

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71209-1_41

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Skeletons, homomorphisms, and shapes: characterizing protocol executions
• scientific article; zbMATH DE number 1754628
• Abstracting cryptographic protocols with tree automata.
• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1832233

Cited in

(12)

• CompoSAT: specification-guided coverage for model finding
• Security protocols as choreographies
• Breaking and fixing public-key Kerberos
• Event structures with symmetry
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
• Exploring theories with a model-finding assistant
• Static evidences for attack reconstruction
• Cryptographic Protocol Composition via the Authentication Tests
• State and progress in strand spaces: proving fair exchange
• Adding branching to the strand space model
• Skeletons, homomorphisms, and shapes: characterizing protocol executions
• Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA

Describes a project that uses

Uses Software

• Casper

This page was built for publication: Searching for Shapes in Cryptographic Protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5758128)