Concrete security とは

暗号化では、具体的なセキュリティまたは厳密なセキュリティは、多項式の等価性が許すよりも厳しいタスクの計算上の複雑さをより正確に推定することを目的とした実践指向のアプローチです。
伝統的に証明可能なセキュリティは漸近的であり、多項式時間の短縮を用いて計算上の問題の硬さを分類します。安全なスキームは、計算上拘束された敵の利点が無視できるものであると定義されています。このような理論上の保証は重要ですが、実際には、セキュリティパラメータをインスタンス化する必要があるため、削減の効率を正確に把握する必要があります。十分に大きなセキュリティパラメータが行うことを知るだけでは不十分です。非効率的な削減は、敵対者の成功確率またはスキームのリソース要件が望ましいものよりも大きくなることのいずれかをもたらす。
具体的なセキュリティは、実行時間やメモリなどの敵対者が利用できるすべてのリソース、および取得可能なプレーンテキストの数や、利用可能なすべてのoraclesに対して実行できるクエリの数など、問題のシステムに固有のリソースをパラメータ化します。次に、敵対者の利点は、これらのリソースと問題の大きさに応じて上限が決まります。上限値に一致する下限(すなわち、対抗戦略)を与えることが可能であり、したがって、正確なセキュリティの名前を付けることができる。