Skeletons, homomorphisms, and shapes: characterizing protocol executions
From MaRDI portal
(Redirected from Publication:5262932)
Recommendations
Cites work
- scientific article; zbMATH DE number 1956510 (Why is no real title available?)
- scientific article; zbMATH DE number 1884407 (Why is no real title available?)
- Authentication tests and the structure of bundles.
- Searching for Shapes in Cryptographic Protocols
- Using encryption for authentication in large networks of computers
Cited in
(4)
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)