Default Program: The Secure State Membership