Protocols for authentification and key establishment

zbMath1043.68014MaRDI QIDQ1872784

Colin A. Boyd, Anish Mathuria

Publication date: 15 May 2003

Published in: Information Security and Cryptography (Search for Journal in Brave)

zbMATH Keywords

confidentialitysecret sharingpublic key cryptographynumber theoryforward secrecycryptographic algorithmsdata integrityfreshnesskey agreement protocolsunknown key-share attackskey compromise impersonationattack on protocolscertificate manipulationconference key protocolsdata origin authenticationkey broadcastingkey establishment protocolskey transport protocolspassword-based protocolsprotocol architecturesprotocols for authenticationserver-based key establishmentshared key cryptography

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Cryptography (94A60) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01)

Related Items (28)

Structural Vulnerability and Robustness in Complex Networks: Different Approaches and Relationships Between them ⋮ Authenticated commutator key agreement protocol ⋮ Security weakness in a three-party pairing-based protocol for password authenticated key exchange ⋮ Remote IP Protection Using Timing Channels ⋮ Signal-flow-based analysis of wireless security protocols ⋮ An efficient identity-based key exchange protocol with KGS forward secrecy for low-power devices ⋮ Provably secure identity-based authenticated key agreement protocols with malicious private key generators ⋮ FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes ⋮ Trust-Rated Authentication for Domain-Structured Distributed Systems ⋮ The "Elliptic" matrices and a new kind of cryptography ⋮ Authenticated confidential channel establishment and the security of TLS-DHE ⋮ Robust biometric-based three-party authenticated key establishment protocols ⋮ Key Establishment Using Signcryption Techniques ⋮ Provably secure key establishment protocol using one-way functions ⋮ A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Cryptanalysis and improvement of a chaotic map-based key agreement protocol using Chebyshev sequence membership testing ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Invariant-based reasoning about parameterized security protocols ⋮ On Establishing and Fixing a Parallel Session Attack in a Security Protocol ⋮ On integrating confidentiality and functionality in a formal method ⋮ An improved identity-based key agreement protocol and its security proof ⋮ Post-Quantum Constant-Round Group Key Exchange from Static Assumptions ⋮ Towards Denial-of-Service-Resilient Key Agreement Protocols ⋮ A New Anonymous Password-Based Authenticated Key Exchange Protocol ⋮ Protocol Composition Logic (PCL) ⋮ An algebraic approach to the verification of a class of Diffie-Hellman protocols ⋮ A Bird’s-Eye View of Modern Symmetric Cryptography from Combinatorial Designs

This page was built for publication: Protocols for authentification and key establishment