SPORE , то Протоколы безопасности Open Repository , представляет собой интернет - библиотека протоколов безопасности с комментариями и ссылками на документы. Каждый протокол можно скачать в различных форматах, в том числе правила для использования с автоматическими средствами проверок протокола. Все протоколы описаны с использованием BAN логики или стиля , используемый Кларком и Иаковом, и их целью. База данных содержит подробную информацию о формальных доказательств или известных атак, со ссылками на комментарии, анализ и бумаги. Большое количество протоколов, перечислены, в том числе многих , которые , как было показано , чтобы быть небезопасно.
