Crypto-Notions This is a summary talking about commonly used notions in provable security. Disclamier: This summary has NOT been finished. Correction will be made and the part of public-key crypto will be added later.