「証明可能安全性を持つ暗号」の版間の差分

削除された内容 追加された内容
Æskja (会話 | 投稿記録)
m +{{出典の明記・独自研究・正確性}}、脚注節と参考文献節を設置し+{{節スタブ}}、冒頭の見出しを除去、+{{Math-stub}}、ほか修正
Yusuke1109 bot (会話 | 投稿記録)
m →‎概要: bot対策のため節stubを節スタブに変更 using AWB
13行目:
証明の際には、[[ランダムオラクル]]モデル(ROM)などの現実には true とは言えないモデルを仮定することもあるし、[[NP困難|困難な問題]]と言っても真に困難であるかの証明は無いことから、安全性証明とは何を証明しているのか注意すべきである。それでも、経験的な安全性とは質の異なる安全性を提供できる点に大きな意味があると考えられている。
 
{{節stubスタブ}}
 
== ブロック暗号における証明可能安全性 ==