A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification