Specify an oracle (type of attack) Define what the adversary needs to do to win the game. The system is secure under the definition, if any efficient adversary wins the game with only negligible probability.