public static RedisKeyGenerator forTicket(final TicketCatalog ticketCatalog, final TicketDefinition ticketDefinition) {
        return new DefaultRedisKeyGenerator(ticketCatalog, REDIS_NAMESPACE_TICKETS, ticketDefinition.getPrefix());
    }
For ticket redis key generator.

@param ticketCatalog    the ticket catalog
@param ticketDefinition the ticket definition
@return the redis key generator
support/cas-server-support-redis-ticket-registry/src/main/java/org/apereo/cas/ticket/registry/key/DefaultRedisKeyGenerator.java