Class(sec:MaliciousCode partial restriction(sec:threatens someValuesFrom(sec:_Integrity)) sec:Masquerading)