強力な秘密保持

強い秘密性は、暗号プロトコルのセキュリティに関する命題を作成するために、正式な証明ベースの暗号で使用される用語です。これは、構文上の（または弱い）秘密性よりも強いセキュリティの概念です。強い秘密性は、計算証明ベースのアプローチで使用される意味的セキュリティまたは区別不能性の概念に関連しています。Bruno Blanchet は、強い秘密性を次のように定義しています。

強力な秘密性とは、秘密の値が変わっても敵対者が違いを認識できないことを意味する^[1]

たとえば、プロセスがメッセージm を暗号化する場合、暗号文が異なるため、攻撃者は異なるメッセージを区別できます。したがって、 m は強力な秘密ではありません。ただし、確率的暗号化が使用される場合、m は強力な秘密になります。暗号化アルゴリズムに組み込まれたランダム性により、同じ値のmに対して異なる暗号文が生成されます。