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/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.
See also※
- Cryptographic nonce
- Cryptography
- List of cryptography topics.
- Public-key cryptography
- Short and long lists of cryptographers.
- Symmetric-key algorithm
References※
- ^ A Survey of Authentication Protocol Literature: Version 1.0 Archived 2007-02-24 at the Wayback Machine, the original 1997 paper by John Clark and Jeremy Jacob
External links※
![]() | This cryptography-related article is a stub. You can help XIV by expanding it. |
![]() | This computer science article is a stub. You can help XIV by expanding it. |