19:54:35)追加された行はこの色です。削除された行はこの色です。function(UOWHF)''とは、UOWの性質を持つ[[ハッシュ関数]]のことである。permutationが存在するならば、UOWHFは存在する。functionが存在するならば、UOWHFは存在する。permutationの存在を仮定しても、CRHF(衝突困難なハッシュ関数)は構成できない。上記の定理の結果より、CRHFよりUOWHFの方が構成しやすいことがいえる。~このとき、「FがUHF族」ならば、「HはUOWHF族」である。[#u71cab4e]-暗号講座資料[[「ハッシュ関数の証明可能安全性」:http://www.ieice.org/~isec/event/isec05051707.pdf]]。