A calculus for secure channel establishment in open networks

DOI10.1007/3-540-58618-0_63zbMATH Open1481.94116OpenAlexW1513741154MaRDI QIDQ826063FDOQ826063

Authors: Ueli M. Maurer, Pierre E. Schmid 

Publication date: 20 December 2021

Full work available at URL: https://doi.org/10.1007/3-540-58618-0_63

Recommendations

• A calculus for cryptographic protocols: The spi calculus
• Progress in Cryptology - INDOCRYPT 2004
• scientific article; zbMATH DE number 1024094
• scientific article; zbMATH DE number 1722690
• A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)

zbMATH Keywords

cryptographynetwork securityformal modelskey managementsecurity transformations

Mathematics Subject Classification ID

Cryptography (94A60) Distributed systems (68M14) Channel models (including quantum) in information and communication theory (94A40)

Cited In (2)

• Establishment of the secure channel between broker nodes in pub/sub system
• Modelling a public-key infrastructure

This page was built for publication: A calculus for secure channel establishment in open networks

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