http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=Security_Protocols_Open_RepositorySecurity Protocols Open Repository - Revision history2026-05-05T22:27:27ZRevision history for this page on the wikiMediaWiki 1.43.1http://debianws.lexgopc.com/wiki143/index.php?title=Security_Protocols_Open_Repository&diff=4698984&oldid=previmported>Comp.arch: Still a stub?2025-02-28T14:27:42Z<p>Still a stub?</p>
<p><b>New page</b></p><div>{{Short description|Online library of security protocols}}<br />
'''SPORE''', the '''Security Protocols Open Repository''', is an online library of [[security protocol]]s 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 [[Burrows–Abadi–Needham logic|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.<br />
<br />
It is a continuation of the seminal work by [[John Clark (Computer Scientist)|John Clark]] and [[Jeremy Jacob (Computer Scientist)|Jeremy Jacob]].<ref>[http://www-users.cs.york.ac.uk/~jac/papers/drareview.ps.gz A Survey of Authentication Protocol Literature: Version 1.0] {{webarchive|url=https://web.archive.org/web/20070224203909/http://www-users.cs.york.ac.uk/~jac/papers/drareview.ps.gz |date=2007-02-24 }}, the original 1997 paper by [[John Clark (Computer Scientist)|John Clark]] and [[Jeremy Jacob (Computer Scientist)|Jeremy Jacob]]</ref><br />
<br />
They seek contributions for new protocols, links and comments.<br />
<br />
==See also==<br />
* [[Cryptographic nonce]]<br />
* [[Cryptography]]<br />
* [[Topics in cryptography|List of cryptography topics]].<br />
* [[Public-key cryptography]]<br />
* [[List of cryptographers|Short]] and [[:Category:Cryptographers|long]] lists of cryptographers.<br />
* [[Symmetric-key algorithm]]<br />
<br />
==References==<br />
{{Reflist}}<br />
<br />
==External links==<br />
* [https://web.archive.org/web/20080921015713/http://www.lsv.ens-cachan.fr/spore/ SPORE – Security Protocols Open Repository]<br />
<br />
[[Category:Cryptographic protocols]]<br />
[[Category:Secure communication]]<br />
[[Category:Computer network security]]<br />
<br />
<br />
{{crypto-stub}}<br />
{{comp-sci-stub}}</div>imported>Comp.arch