declaratively, to specify an encryption scheme is to specify: a key generator Gen an encryption procedure Enc a decryption procedure Dec