Reasoning about Naming and Time for Credential-based Systems