A calculus for secure channel establishment in open networks

DOI10.1007/3-540-58618-0_63MaRDI QIDQ826063zbMATH OpenOpenAlexFDO

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

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)

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)

Cited in

(2)

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

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)