Assertion: adversary | /r/CapableOf | follow the protocol specification
Facets:
value: exactly
type: DEGREE
Source sentences:
text: Such an adversary controls one of the parties (statically, and so at the onset of the computation) and follows the protocol specification exactly.