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

cryptographyformal modelskey managementnetwork securitysecurity transformations

Mathematics Subject Classification ID

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

Recommendations

• A calculus for cryptographic protocols: The spi calculus
• Progress in Cryptology - INDOCRYPT 2004
• Design and analysis of key exchange protocols via secure channel identification
• Analysis of key-exchange protocols and their use for building secure channels
• A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)

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)