Assertion: adversary's capability | /r/HasProperty | certain
Facets:
Source sentences:
text: The $\operatorname{IND-}$ notation provides such definitions in terms of games, where a challenger keeps his key secret, and an adversary has certain capabilities and his target is to break the encryption system.