{"version":"1.0","type":"link","title":"Security Protocols Open Repository - Newikis","description":"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…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}