(* Title: Game_Based_Crypto.thy Author: Andreas Lochbihler, ETH Zurich *) theory Security_Spec imports Diffie_Hellman IND_CCA2 IND_CCA2_sym IND_CPA IND_CPA_PK IND_CPA_PK_Single SUF_CMA Pseudo_Random_Function Pseudo_Random_Permutation Unpredictable_Function begin end