Skip to content
Main menu
  • Main page
  • Discover
  • Unexpected connections
  • Topics
  • Random article
  • Search
Your library
  • Saved articles
  • Recent discoveries
  • Rabbit-hole trails
Topic areas
  • Computer Science
  • Mathematics
  • Physics
  • Engineering
  • Biology
  • Economics
  • Curiosities
WikiholeDeeper into Wikipedia
EnglishEN
  • Saved
  • History

  • Article text and media come live from Wikipedia via the official MediaWiki API and are available under the Creative Commons Attribution-ShareAlike 4.0 License; additional terms may apply. Each article links to its source and revision.
  • WikiHole is an independent project and is not affiliated with the Wikimedia Foundation.
  • How ranking works
  • All topics
  • Reading history
  • Random article
  • MediaWiki API

Cryptographic protocol

  • Article
  • Rabbit hole
  • Read
  • View history
Tools
Actions
  • Read
  • View history
General
  • Recent changes
  • Related articles
  • Random discovery
This article
Reading time
4 min
Topic
Computer Science
Quality
Start-class
Views
418 in 14 days
Last edited
31 May 2026
Print/export
  • Printable version
In other projects
  • Wikidata item
From Wikipedia, the free encyclopedia
Rabbit hole:
  1. Cryptographic protocol

A cryptographic protocol is an abstract or concrete protocol that performs a security-related function and applies cryptographic methods, often as sequences of cryptographic primitives. A protocol describes how the algorithms should be used and includes details about data structures and representations, at which point it can be used to implement multiple, interoperable versions of a program.1

Cryptographic protocols are widely used for secure application-level data transport. A cryptographic protocol usually incorporates at least some of these aspects:

  • Key agreement or establishment
  • Entity authentication, perhaps using an authentication protocol
  • Symmetric encryption and message authentication key material construction
  • Secured application-level data transport
  • Non-repudiation methods
  • Secret sharing methods
  • Secure multi-party computation

For example, Transport Layer Security (TLS) is a cryptographic protocol that is used to secure web () connections. It has an entity authentication mechanism, based on the system; a key setup phase, where a key is formed by employing public-key cryptography; and an application-level data transport function. These three aspects have important interconnections. Standard TLS does not have non-repudiation support.

HTTPS
2
X.509
symmetric encryption

There are other types of cryptographic protocols as well, and even the term itself has various readings; Cryptographic application protocols often use one or more underlying key agreement methods, which are also sometimes themselves referred to as "cryptographic protocols". For instance, TLS employs what is known as the Diffie–Hellman key exchange, which although it is only a part of TLS per se, Diffie–Hellman may be seen as a complete cryptographic protocol in itself for other applications.

Loading the rest of the article…

Recent changes

Rabbit hole

Where Cryptographic protocol leads. Every connection below has a source: a link in this article, a shared Wikipedia category, or CirrusSearch text similarity. Articles already on your trail are left out.

Contents
  • (Top)
  • Advanced cryptographic protocols
  • Formal verification
  • Examples
  • See also
  • References
  • Further reading
  • Recent changes
  • Rabbit hole
Contents
Contents8 sections
  • (Top)
  • Advanced cryptographic protocols
  • Formal verification
  • Notion of abstract protocol
  • Examples
  • See also
  • References
  • Further reading
  • Recent changes
  • Rabbit hole
Categories:
  • Cryptographic protocols

622 words · 17 references · revision 1357018480 · CC BY-SA 4.0

General
  • Recent changes
  • Related articles
  • Random discovery
This article
Reading time
4 min
Topic
Computer Science
Quality
Start-class
Views
418 in 14 days
Last edited
31 May 2026

Key concepts

  • Key agreement2
  • Transport Layer Security2
  • Communications protocol1
  • Information security1
  • Cryptographic1
  • Cryptographic primitive1
  • Authentication1
  • Authentication protocol1
  • Encryption1
  • Message authentication1

The articles this one links to most, weighted towards the introduction.

Print/export
  • Printable version
In other projects
  • Wikidata item

Advanced cryptographic protocols

A wide variety of cryptographic protocols go beyond the traditional goals of data confidentiality, integrity, and authentication to also secure a variety of other desired characteristics of computer-mediated collaboration.3 Blind signatures can be used for digital cash and digital credentials to prove that a person holds an attribute or right without revealing that person's identity or the identities of parties that person transacted with. Secure digital timestamping can be used to prove that data (even if confidential) existed at a certain time. Secure multiparty computation can be used to compute answers (such as determining the highest bid in an auction) based on confidential data (such as private bids), so that when the protocol is complete the participants know only their own input and the answer. End-to-end auditable voting systems provide sets of desirable privacy and auditability properties for conducting e-voting. Undeniable signatures include interactive protocols that allow the signer to prove a forgery and limit who can verify the signature. Deniable encryption augments standard encryption by making it impossible for an attacker to mathematically prove the existence of a plain text message. Digital mixes create hard-to-trace communications.

Formal verification

Cryptographic protocols can sometimes be verified formally on an abstract level. When it is done, there is a necessity to formalize the environment in which the protocol operates in order to identify threats. This is frequently done through the Dolev-Yao model.

Logics, concepts and calculi used for formal reasoning of security protocols:

  • Burrows–Abadi–Needham logic (BAN logic)
  • Dolev–Yao model
  • π-calculus
  • Protocol composition logic (PCL)
  • Strand space4

Research projects and tools used for formal verification of security protocols:

  • Automated Validation of Internet Security Protocols and Applications (AVISPA) and follow-up project AVANTSSAR.56
    • Constraint Logic-based Attack Searcher (CL-AtSe)7
    • Open-Source Fixed-Point Model-Checker (OFMC)8
    • SAT-based Model-Checker (SATMC)9
  • Casper10
  • CryptoVerif
  • Cryptographic Protocol Shapes Analyzer (CPSA)11
  • Knowledge In Security protocolS (KISS)12
  • Maude-NRL Protocol Analyzer (Maude-NPA)13
  • ProVerif
  • Scyther14
  • Tamarin Prover15
  • Squirrel16
  • StrandsRocq17

Notion of abstract protocol

Main article: Security protocol notation

To formally verify a protocol it is often abstracted and modelled using Alice & Bob notation. A simple example is the following:

This states that Alice intends a message for Bob consisting of a message encrypted under shared key .

Examples

  • Internet Key Exchange
  • IPsec
  • Kerberos
  • Off-the-Record Messaging
  • Point to Point Protocol
  • Secure Shell (SSH)
  • Signal Protocol
  • Transport Layer Security
  • ZRTP

See also

  • List of cryptosystems
  • Secure channel
  • Security Protocols Open Repository
  • Comparison of cryptography libraries
  • Quantum cryptographic protocol

References

  1. 1"Cryptographic Protocol Overview" (PDF). 2015-10-23. Archived from the original (PDF) on 2017-08-29. Retrieved 2015-10-23.
  2. 2Chen, Shan; Jero, Samuel; Jagielski, Matthew; Boldyreva, Alexandra; Nita-Rotaru, Cristina (2021-07-01). "Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC". Journal of Cryptology. 34 (3): 26. doi:10.1007/s00145-021-09389-w. ISSN 0933-2790. S2CID 235174220.
  3. 3Berry Schoenmakers. "Lecture Notes Cryptographic Protocols" (PDF).
  4. 4Fábrega, F. Javier Thayer, Jonathan C. Herzog, and Joshua D. Guttman., Strand Spaces: Why is a Security Protocol Correct?{{citation}}: CS1 maint: multiple names: authors list (link)
  5. 5. from the original on 22 September 2016. Retrieved 14 February 2024.

Further reading

  • Ermoshina, Ksenia; Musiani, Francesca; Halpin, Harry (September 2016). "End-to-End Encrypted Messaging Protocols: An Overview" (PDF). In Bagnoli, Franco; et al. (eds.). Internet Science. INSCI 2016. Florence, Italy: Springer. pp. 244–254. doi:10.1007/978-3-319-45982-0_22. ISBN 978-3-319-45982-0.
"Automated Validation of Internet Security Protocols and Applications (AVISPA)"
Archived
  • 6Armando, A.; Arsac, W; Avanesov, T.; Barletta, M.; Calvi, A.; Cappai, A.; Carbone, R.; Chevalier, Y.; +12 more (2012). Flanagan, C.; König, B. (eds.). The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. Vol. 7214. LNTCS. pp. 267–282. doi:10.1007/978-3-642-28756-5_19. Retrieved 14 February 2024.{{cite book}}: CS1 maint: numeric names: authors list (link)
  • 7"Constraint Logic-based Attack Searcher (Cl-AtSe)". Archived from the original on 2017-02-08. Retrieved 2016-10-17.
  • 8Open-Source Fixed-Point Model-Checker (OFMC)
  • 9"SAT-based Model-Checker for Security Protocols and Security-sensitive Application (SATMC)". Archived from the original on 2015-10-03. Retrieved 2016-10-17.
  • 10Casper: A Compiler for the Analysis of Security Protocols
  • 11cpsa: Symbolic cryptographic protocol analyzer
  • 12"Knowledge In Security protocolS (KISS)". Archived from the original on 2016-10-10. Retrieved 2016-10-07.
  • 13Maude-NRL Protocol Analyzer (Maude-NPA)
  • 14Scyther
  • 15Tamarin Prover
  • 16Squirrel Prover
  • 17StrandsRocq
  • Created
    12 Apr 2004
    History
    218 edits
    157 contributors
    No edits in the last 30 days
    Last edited
    31 May 2026

    218 revisions in total · 157 contributors

    1. 31 May 2026, 08:15 UTCMinerva P. MalveenNot an improvement, Undid revision 1356971906 by ~2026-32395-53 (talk)−71diff
    2. 31 May 2026, 00:29 UTCTemporary accountrevertedNo edit summary+71diff
    3. 10 Apr 2026, 06:54 UTCTemporary accountNo edit summary+81diff
    4. 7 Oct 2025, 12:57 UTCMinerva P. Malveenmgrammar+1diff
    5. 23 Jul 2025, 21:24 UTCDavidCaryexplicit link to an article on the topic alluded to+51diff
    6. 14 Jul 2025, 11:14 UTC45dogsReverted good faith edits by 179.63.52.239 (talk)−11diff
    7. 14 Jul 2025, 11:13 UTCAnonymous contributorreverted§ Formal verification+11diff
    8. 25 Apr 2025, 07:59 UTCOcamlEnjoyerNo edit summary+16diff

    View full revision history

    Created
    12 Apr 2004
    History
    218 edits
    157 contributors
    No edits in the last 30 days
    Last edited
    31 May 2026

    Go deeper: linked from this article

    • Linked from the introduction · Recommended 1 time

      Cryptography

      Practice and study of secure communication techniques

      Cryptography, or cryptology, is the practice and study of techniques for secure communication in the presence of adversarial behavior.

      38 min readGo deeper
    • Linked from the introduction

      Secure multi-party computation

      Subfield of cryptography

      Secure multi-party computation (also known as secure computation, multi-party computation (MPC) or privacy-preserving computation) is a subfield of cryptography with the goal of creating methods for…

      19 min readGo deeper
    • Linked from the introduction

      Transport Layer Security

      Cryptographic protocols for securing data in transit

      Transport Layer Security (TLS) is a cryptographic protocol designed to provide secured communications over a computer network, such as the Internet.

      66 min readGo deeper
    • Linked from the introduction

      Encryption

      Process of converting plaintext to ciphertext

      In cryptography, encryption is the process of transforming information in a way that, ideally, only authorized parties can decode.

      15 min readGo deeper
    • Linked from the introduction

      Communication protocol

      System for exchanging messages between computing systems

      A communication protocol is a system of rules that allows two or more entities of a communications system to transmit information.

      24 min readGo deeper
    • Linked from the introduction

      X.509

      Standard for cryptographic certificates

      In cryptography, X.509 is an International Telecommunication Union (ITU) standard defining the format of public key certificates.

      22 min readGo deeper
    • Linked from the introduction

      Diffie–Hellman key exchange

      Method of exchanging cryptographic keys

      Diffie–Hellman (DH) key exchange is a mathematical method of securely generating a symmetric cryptographic key over a public channel.

      17 min readGo deeper
    • Linked from the introduction

      HTTPS

      HTTP extension supporting TLS encryption

      Hypertext Transfer Protocol Secure (HTTPS) is an extension of the Hypertext Transfer Protocol (HTTP).

      16 min readGo deeper
    • Linked from the introduction

      Information security

      Protecting information by mitigating risk

      Information security (infosec) is the practice of protecting information by mitigating information risks. It is part of information risk management.

      43 min readGo deeper
    • Linked from the introduction

      Authentication protocol

      Type of cryptographic protocol

      An authentication protocol is a type of computer communications protocol or cryptographic protocol specifically designed for transfer of authentication data between two entities.

      4 min readGo deeper
    • Linked from the introduction

      Authentication

      Act of proving an assertion

      Authentication (from Greek: αὐθεντικός authentikos, "real, genuine", from αὐθέντης authentes, "author") is the act of proving an assertion, such as the identity of a computer system user.

      13 min readGo deeper

    Adjacent: shared categories and similar text

    • Linked in “Advanced cryptographic protocols”

      Electronic voting

      Type of voting by election mechanism

      Electronic voting (or e-voting) is voting with the use of electronic means to either aid or handle casting and counting ballots including voting time.

      35 min readGo deeper
    • Linked in “Advanced cryptographic protocols”

      End-to-end auditable voting

      Voting system

      End-to-end auditable or end-to-end voter verifiable (E2E) systems are voting systems with stringent integrity properties and strong tamper resistance.

      9 min readGo deeper
    • Linked in “Advanced cryptographic protocols”

      Trusted timestamping

      Authentication method

      Trusted timestamping is the process of securely keeping track of the creation and modification time of a document.

      4 min readGo deeper