Assertion list for term "executed by unsuspecting device administrator".

Results from Ascent++: 1
proof ReceivesActionexecuted by unsuspecting device administrator 0.27