Platform Security Architecture (Verification of Specifications)