US8006233B2 - System and Method for the Automatic Verification of Privilege-Asserting and Subject-Executed Code