Assertion: adversary | /r/HasAspect | certain capabilities
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.