Strong secrecy とは

強力な秘密は、暗号プロトコルの安全性に関する提案を行うために正式な証明に基づく暗号で使用される用語です。構文的(または弱い)秘密よりもセキュリティの強固な概念です。強力な秘密は、意味的セキュリティまたは計算上の証明に基づくアプローチで使用される区別不能性の概念に関連しています。 Bruno Blanchetは、強力な秘密のために次の定義を提供しています。
強い秘密は、秘密の価値が変わったときに敵が何の違いも見られないことを意味します
たとえば、プロセスがメッセージを暗号化する場合、攻撃者は暗号文が異なるため、異なるメッセージを区別することができます。したがって、mは強い秘密ではない。しかし、確率的暗号化を使用した場合、mは強力な秘密になります。暗号化アルゴリズムに組み込まれたランダム性は、mの同じ値に対して異なる暗号文を生成する。