Security Protocols Open Repository

Security Protocols Open Repository

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 [ [http://www-users.cs.york.ac.uk/~jac/papers/drareview.ps.gz A Survey of Authentication Protocol Literature: Version 1.0] , the original 1997 paper by John Clark and Jeremy Jacob] .

They seek contributions for new protocols, links and comments.

See also

* Cryptography
* Symmetric-key_algorithm
* Public-key cryptography
* Cryptographic nonce
* List of cryptography topics.
* Short and lists of cryptographers.
* Important books, papers, and open problems in cryptography.

External links

* [http://www.lsv.ens-cachan.fr/spore/ SPORE - Security Protocols Open Repository]

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Domain Name System Security Extensions — Internet protocol suite Application layer BGP DHCP DNS FTP HTTP …   Wikipedia

  • OWASP Mantra Security Framework — OWASP Mantra Security Framework …   Wikipedia

  • Network Security Services — Developer(s) AOL, Red Hat, Sun Microsystems, Oracle Corporation, Google and others Stable release 3.12.8 / September 23, 2010; 13 months ago (2010 09 23) …   Wikipedia

  • Unix security — Unix security: maintaining a secure environment on Unix and Unix like operating systems is dependent on design concepts of these operating systems, but vigilance through user and administrative techniques is important to maintain security… …   Wikipedia

  • Spore (disambiguation) — A spore is a biological reproductive mechanism. Spore may also refer to:Video games* Spore (2008 video game), a video game by Maxis ** Spore Creatures , the Nintendo DS spinoff of the same series ** Spore Origins , the mobile phone and iPod… …   Wikipedia

  • Cryptographic protocol — A security protocol (cryptographic protocol or encryption protocol) is an abstract or concrete protocol that performs a security related function and applies cryptographic methods. A protocol describes how the algorithms should be used. A… …   Wikipedia

  • Wide-Mouth Frog — Криптографические обозначения, используемые в протоколах проверки подлинности и обмена ключами Идентифкаторы Алисы (Alice), инициатора сессии Идентифкатор Боба (Bob), стороны, с которой устанавливается сессия Идентифкатор Трента (Trent),… …   Википедия

  • Python (programming language) — infobox programming language name = Python paradigm = multi paradigm: object oriented, imperative, functional year = 1991 designer = Guido van Rossum developer = Python Software Foundation latest release version = 2.6 latest release date =… …   Wikipedia

  • DNSSEC — The Domain Name System Security Extensions (DNSSEC) are a suite of IETF specifications for securing certain kinds of information provided by the Domain Name System (DNS) as used on Internet Protocol (IP) networks. It is a set of extensions to DNS …   Wikipedia

  • Nokia N900 — Manufacturer Nokia Release date November 11, 2009 (2009 11 11) Media microSD …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”