Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions

DOI10.1016/J.ENTCS.2007.02.029zbMATH Open1316.94067OpenAlexW2127951578MaRDI QIDQ5262932FDOQ5262932

Author name not available (Why is that?)

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

protocol analysisstrand spacesenumerating protocol executionsmechanizing protocol analysis

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Using encryption for authentication in large networks of computers
• Title not available (Why is that?)
• Authentication tests and the structure of bundles.
• Searching for Shapes in Cryptographic Protocols
• Title not available (Why is that?)

Cited In (1)

• On weakly cut-stable maps

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

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