Verifying Security