Exchange)の主要な暗号プロトコルの現時点の安全性が一目で分かる画期的なポータルサイトです。このサイトは、産官学全ての組織のみならず個人まで広く使っていただけます。評価の厳密さを★の数の多さ(1〜4)で表し、利用の可能性を色で区別しています。表の見方の詳細は本ページの最後をご覧下さい。Protocol)で定められている4つの評価レベル(PAL1〜4)の数値を表しています。数が多くなるのは形式手法に基づく検証ツール(以下、形式検証ツール)で評価されている場合となります。Listにおける評価結果は、あくまで暗号プロトコルの「仕様」に関して我々の調査範囲で得たものです。調査範囲内で形式検証ツールで攻撃が発見されているか否かを示すものです。そのため、現時点で攻撃発見されずという結果であったとしても、将来攻撃が発見される可能性が否定できないことに注意が必要です。攻撃が複数発見されている場合は、最もインパクトが大きい攻撃のみ掲載しております。詳細な情報は暗号プロトコル個別のページをご覧下さい。