sentences:  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.