Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions

DOI10.1016/J.ENTCS.2007.02.029zbMath1316.94067OpenAlexW2127951578MaRDI QIDQ5262932

No author found.

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.029

zbMATH Keywords

strand spacesprotocol analysisenumerating protocol executionsmechanizing protocol analysis

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (1)

On weakly cut-stable maps

Cites Work

• Unnamed Item
• Unnamed Item
• Authentication tests and the structure of bundles.
• Using encryption for authentication in large networks of computers
• Searching for Shapes in Cryptographic Protocols

This page was built for publication: Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions