Reference articles on history, science, culture and more
Surprise meSurprise meSubscribe
Encyclopedia

Security Protocols Open Repository

Online library of security protocols

Wikipedia contributorsAdapted for Fathomly · View authors
1 min read
Source updated July 29, 2025

SPORE, the Security Protocols Open Repository, is an online library of security protocols with comments and links to papers. Each protocol is downloadable in a variety of formats, including rules for use with automatic protocol verification tools. All protocols are described using BAN logic or the style used by Clark and Jacob, and their goals. The database includes details on formal proofs or known attacks, with references to comments, analysis & papers. A large number of protocols are listed, including many which have been shown to be insecure.

It is a continuation of the seminal work by John Clark and Jeremy Jacob.

They seek contributions for new protocols, links and comments.

Watch videos about Security Protocols Open RepositoryExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “Security Protocols Open Repository”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.

Continue exploring

Related topics

Cryptographic nonce

In cryptography, a nonce is an arbitrary number that can be used just once in a cryptographic communication. It is often a random or pseudo-random number issued in an authentication protocol to ensure that each communication session is unique, and therefore that old communications cannot be reused in replay attacks.

Cryptography

Cryptography, or cryptology, is the practice and study of techniques for secure communication in the presence of adversarial behavior. More generally, cryptography is about constructing and analyzing protocols that prevent third parties or the public from reading private messages.

Outline of cryptography

The following outline is provided as an overview of and topical guide to cryptography: Cryptography, practice and study of hiding information. Modern cryptography intersects the disciplines of mathematics, computer science, and engineering.