Assertion: virus | /r/HasProperty | encrypted with different key
Facets:
value: for each infected file
type: TRANSITIVE-OBJECT
Source sentences:
text: If the virus is encrypted with a different key for each infected file, the only part of the virus that remains constant is the decrypting module, which would (for example) be appended to the end.