Security Protocols Open Repository
id:
security-protocols-open-repository-227-2705380
title:
Security Protocols Open Repository
text:
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,
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Security_Protocols_Open_Repository
date created:
2007-05-17T12:09:18Z
date modified:
2024-09-15T00:28:37Z
main entity:
{"identifier":"Q7444988","url":"https://www.wikidata.org/entity/Q7444988"}
image:
fields total:
13
integrity:
14