セキュリティプロトコルオープンリポジトリ

SPORE ( Security Protocols Open Repository)は、コメントや論文へのリンクを含むセキュリティプロトコルのオンラインライブラリです。各プロトコルは、自動プロトコル検証ツールで使用するルールなど、さまざまな形式でダウンロードできます。すべてのプロトコルは、BAN ロジックまたは Clark と Jacob が使用したスタイルとその目標を使用して記述されています。データベースには、正式な証明や既知の攻撃に関する詳細が、コメント、分析、論文への参照とともに含まれています。多数のプロトコルがリストされており、その中には安全でないことがわかっているものも多数含まれています。

これはジョン・クラークとジェレミー・ジェイコブによる先駆的な研究の続編である。^[1]

新しいプロトコル、リンク、コメントへの貢献を求めています。