Verification of jp2 images against a control policy