Assertion: adversary | /r/HasProperty | given access
Facets:
value: to key $k_e$
type: OTHER
value: always
type: TEMPORAL
value: to the encryption function
type: TRANSITIVE-OBJECT
value: after receiving $c$
type: TEMPORAL
value: in words
type: OTHER
value: to the oracles
type: TRANSITIVE-OBJECT
Source sentences:
text: In words: In addition to its capabilities under IND-CCA1, the adversary is now given access to the oracles after receiving $C$, but cannot send $C$ to the decryption oracle.
text: Note that in the case of public-key cryptography the adversary is always given access to the public key $K_E$ as well as the encryption function