Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Security Protocols Open Repository
open-in-new
<p>SPORE, the Security Protocols Open Repository, is an online library of <a href="/facts/Security_protocol/0WuyTkFo">security protocols</a> 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 <a href="/facts/Burrows%25E2%2580%2593Abadi%25E2%2580%2593Needham_logic/fr2yd1lL">BAN logic</a> 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. </p><p>It is a continuation of the seminal work by John Clark and Jeremy Jacob. </p><p>They seek contributions for new protocols, links and comments. </p>